0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.08/0.12 c #variables 2724 #constraints 6385
2.87/2.99 c #Conflicts: 1000 | #Constraints: 7384
2.87/2.99 c #Conflicts: 2000 | #Constraints: 8384
2.87/2.99 c INPROCESSING
2.87/2.99 c GARBAGE COLLECT
2.87/2.99 c #Conflicts: 3000 | #Constraints: 8717
2.87/2.99 c #Conflicts: 4000 | #Constraints: 9717
2.87/2.99 c #Conflicts: 5000 | #Constraints: 10717
2.87/2.99 c #Conflicts: 6000 | #Constraints: 11717
2.87/2.99 c INPROCESSING
2.87/2.99 c GARBAGE COLLECT
2.87/2.99 c #Conflicts: 7000 | #Constraints: 10274
2.87/2.99 c #Conflicts: 8000 | #Constraints: 11274
2.87/2.99 c #Conflicts: 9000 | #Constraints: 12274
2.87/2.99 c INPROCESSING
2.87/2.99 c GARBAGE COLLECT
2.87/2.99 c #Conflicts: 10000 | #Constraints: 10427
2.87/2.99 c #Conflicts: 11000 | #Constraints: 11427
2.87/2.99 c #Conflicts: 12000 | #Constraints: 12427
2.87/2.99 c INPROCESSING
2.87/2.99 c GARBAGE COLLECT
2.87/2.99 c rational objective 908
3.56/3.67 c #Conflicts: 13000 | #Constraints: 10228
3.56/3.67 c #Conflicts: 14000 | #Constraints: 11228
3.56/3.67 c #Conflicts: 15000 | #Constraints: 12228
3.56/3.67 c #Conflicts: 16000 | #Constraints: 13228
3.56/3.67 c INPROCESSING
3.56/3.67 c GARBAGE COLLECT
3.56/3.67 c rational objective 908
4.26/4.37 c #Conflicts: 17000 | #Constraints: 10797
4.26/4.37 c #Conflicts: 18000 | #Constraints: 11797
4.26/4.37 c #Conflicts: 19000 | #Constraints: 12797
4.26/4.37 c #Conflicts: 20000 | #Constraints: 13797
4.26/4.37 c INPROCESSING
4.26/4.37 c GARBAGE COLLECT
4.26/4.37 c rational objective 908
5.16/5.28 c #Conflicts: 21000 | #Constraints: 11135
5.16/5.28 c #Conflicts: 22000 | #Constraints: 12135
5.16/5.28 c #Conflicts: 23000 | #Constraints: 13135
5.16/5.28 c #Conflicts: 24000 | #Constraints: 14135
5.16/5.28 c INPROCESSING
5.16/5.28 c GARBAGE COLLECT
5.16/5.28 c rational objective 908
6.07/6.13 c #Conflicts: 25000 | #Constraints: 11245
6.07/6.13 c #Conflicts: 26000 | #Constraints: 12245
6.07/6.13 c #Conflicts: 27000 | #Constraints: 13245
6.07/6.13 c #Conflicts: 28000 | #Constraints: 14245
6.07/6.13 c INPROCESSING
6.07/6.13 c GARBAGE COLLECT
6.07/6.13 c rational objective 908
9.15/9.29 c #Conflicts: 29000 | #Constraints: 11151
9.15/9.29 c #Conflicts: 30000 | #Constraints: 12151
9.15/9.29 c #Conflicts: 31000 | #Constraints: 13151
9.15/9.29 c #Conflicts: 32000 | #Constraints: 14151
9.15/9.29 c #Conflicts: 33000 | #Constraints: 15151
9.15/9.29 c INPROCESSING
9.15/9.29 c GARBAGE COLLECT
9.15/9.29 c #Conflicts: 34000 | #Constraints: 11851
9.15/9.29 c #Conflicts: 35000 | #Constraints: 12851
9.15/9.29 c #Conflicts: 36000 | #Constraints: 13851
9.15/9.29 c #Conflicts: 37000 | #Constraints: 14851
9.15/9.29 c #Conflicts: 38000 | #Constraints: 15851
9.15/9.29 c INPROCESSING
9.15/9.29 c GARBAGE COLLECT
9.15/9.29 c #Conflicts: 39000 | #Constraints: 12368
9.15/9.29 c #Conflicts: 40000 | #Constraints: 13368
9.15/9.29 c #Conflicts: 41000 | #Constraints: 14368
9.15/9.29 c #Conflicts: 42000 | #Constraints: 15368
9.15/9.29 c INPROCESSING
9.15/9.29 c GARBAGE COLLECT
9.15/9.29 c #Conflicts: 43000 | #Constraints: 11677
9.15/9.29 c #Conflicts: 44000 | #Constraints: 12677
9.15/9.29 c #Conflicts: 45000 | #Constraints: 13677
9.15/9.29 c #Conflicts: 46000 | #Constraints: 14677
9.15/9.29 c #Conflicts: 47000 | #Constraints: 15677
9.15/9.29 c #Conflicts: 48000 | #Constraints: 16677
9.15/9.29 c INPROCESSING
9.15/9.29 c GARBAGE COLLECT
9.15/9.29 c rational objective 908
10.15/10.22 c #Conflicts: 49000 | #Constraints: 12789
10.15/10.22 c #Conflicts: 50000 | #Constraints: 13789
10.15/10.22 c #Conflicts: 51000 | #Constraints: 14789
10.15/10.22 c #Conflicts: 52000 | #Constraints: 15789
10.15/10.22 c #Conflicts: 53000 | #Constraints: 16789
10.15/10.22 c INPROCESSING
10.15/10.22 c GARBAGE COLLECT
10.15/10.22 c rational objective 908
11.14/11.20 c #Conflicts: 54000 | #Constraints: 12688
11.14/11.20 c #Conflicts: 55000 | #Constraints: 13688
11.14/11.20 c #Conflicts: 56000 | #Constraints: 14688
11.14/11.20 c #Conflicts: 57000 | #Constraints: 15688
11.14/11.20 c #Conflicts: 58000 | #Constraints: 16688
11.14/11.20 c INPROCESSING
11.14/11.20 c GARBAGE COLLECT
11.14/11.20 c rational objective 908
14.13/14.23 c #Conflicts: 59000 | #Constraints: 12394
14.13/14.23 c #Conflicts: 60000 | #Constraints: 13394
14.13/14.23 c #Conflicts: 61000 | #Constraints: 14394
14.13/14.23 c #Conflicts: 62000 | #Constraints: 15394
14.13/14.23 c #Conflicts: 63000 | #Constraints: 16394
14.13/14.23 c #Conflicts: 64000 | #Constraints: 17394
14.13/14.23 c INPROCESSING
14.13/14.23 c GARBAGE COLLECT
14.13/14.23 c #Conflicts: 65000 | #Constraints: 12893
14.13/14.23 c #Conflicts: 66000 | #Constraints: 13893
14.13/14.23 c #Conflicts: 67000 | #Constraints: 14893
14.13/14.23 c #Conflicts: 68000 | #Constraints: 15893
14.13/14.23 c #Conflicts: 69000 | #Constraints: 16893
14.13/14.23 c #Conflicts: 70000 | #Constraints: 17893
14.13/14.23 c INPROCESSING
14.13/14.23 c GARBAGE COLLECT
14.13/14.23 c #Conflicts: 71000 | #Constraints: 13195
14.13/14.23 c #Conflicts: 72000 | #Constraints: 14195
14.13/14.23 c #Conflicts: 73000 | #Constraints: 15195
14.13/14.23 c #Conflicts: 74000 | #Constraints: 16195
14.13/14.23 c #Conflicts: 75000 | #Constraints: 17195
14.13/14.23 c #Conflicts: 76000 | #Constraints: 18195
14.13/14.23 c INPROCESSING
14.13/14.23 c GARBAGE COLLECT
14.13/14.23 c rational objective 908
15.13/15.28 c #Conflicts: 77000 | #Constraints: 13305
15.13/15.28 c #Conflicts: 78000 | #Constraints: 14305
15.13/15.28 c #Conflicts: 79000 | #Constraints: 15305
15.13/15.28 c #Conflicts: 80000 | #Constraints: 16305
15.13/15.28 c #Conflicts: 81000 | #Constraints: 17305
15.13/15.28 c #Conflicts: 82000 | #Constraints: 18305
15.13/15.28 c INPROCESSING
15.13/15.28 c GARBAGE COLLECT
15.13/15.28 c rational objective 908
16.53/16.66 c #Conflicts: 83000 | #Constraints: 13198
16.53/16.66 c #Conflicts: 84000 | #Constraints: 14198
16.53/16.66 c #Conflicts: 85000 | #Constraints: 15198
16.53/16.66 c #Conflicts: 86000 | #Constraints: 16198
16.53/16.66 c #Conflicts: 87000 | #Constraints: 17198
16.53/16.66 c #Conflicts: 88000 | #Constraints: 18198
16.53/16.66 c #Conflicts: 89000 | #Constraints: 19198
16.53/16.66 c INPROCESSING
16.53/16.66 c GARBAGE COLLECT
16.53/16.66 c rational objective 908
18.04/18.17 c #Conflicts: 90000 | #Constraints: 13891
18.04/18.17 c #Conflicts: 91000 | #Constraints: 14891
18.04/18.17 c #Conflicts: 92000 | #Constraints: 15891
18.04/18.17 c #Conflicts: 93000 | #Constraints: 16891
18.04/18.17 c #Conflicts: 94000 | #Constraints: 17891
18.04/18.17 c #Conflicts: 95000 | #Constraints: 18891
18.04/18.17 c #Conflicts: 96000 | #Constraints: 19891
18.04/18.17 c INPROCESSING
18.04/18.17 c GARBAGE COLLECT
18.04/18.17 c rational objective 908
19.72/19.82 c #Conflicts: 97000 | #Constraints: 14405
19.72/19.82 c #Conflicts: 98000 | #Constraints: 15405
19.72/19.82 c #Conflicts: 99000 | #Constraints: 16405
19.72/19.82 c #Conflicts: 100000 | #Constraints: 17405
19.72/19.82 c #Conflicts: 101000 | #Constraints: 18405
19.72/19.82 c #Conflicts: 102000 | #Constraints: 19405
19.72/19.82 c INPROCESSING
19.72/19.82 c GARBAGE COLLECT
19.72/19.82 c rational objective 908
20.93/21.04 c #Conflicts: 103000 | #Constraints: 13697
20.93/21.04 c #Conflicts: 104000 | #Constraints: 14697
20.93/21.04 c #Conflicts: 105000 | #Constraints: 15697
20.93/21.04 c #Conflicts: 106000 | #Constraints: 16697
20.93/21.04 c #Conflicts: 107000 | #Constraints: 17697
20.93/21.04 c #Conflicts: 108000 | #Constraints: 18697
20.93/21.04 c #Conflicts: 109000 | #Constraints: 19697
20.93/21.04 c #Conflicts: 110000 | #Constraints: 20697
20.93/21.04 c INPROCESSING
20.93/21.04 c GARBAGE COLLECT
20.93/21.04 c rational objective 908
22.11/22.29 c #Conflicts: 111000 | #Constraints: 14799
22.11/22.29 c #Conflicts: 112000 | #Constraints: 15799
22.11/22.29 c #Conflicts: 113000 | #Constraints: 16799
22.11/22.29 c #Conflicts: 114000 | #Constraints: 17799
22.11/22.29 c #Conflicts: 115000 | #Constraints: 18799
22.11/22.29 c #Conflicts: 116000 | #Constraints: 19799
22.11/22.29 c #Conflicts: 117000 | #Constraints: 20799
22.11/22.29 c INPROCESSING
22.11/22.29 c GARBAGE COLLECT
22.11/22.29 c rational objective 908
23.50/23.60 c #Conflicts: 118000 | #Constraints: 14718
23.50/23.60 c #Conflicts: 119000 | #Constraints: 15718
23.50/23.60 c #Conflicts: 120000 | #Constraints: 16718
23.50/23.60 c #Conflicts: 121000 | #Constraints: 17718
23.50/23.60 c #Conflicts: 122000 | #Constraints: 18718
23.50/23.60 c #Conflicts: 123000 | #Constraints: 19718
23.50/23.60 c #Conflicts: 124000 | #Constraints: 20718
23.50/23.60 c INPROCESSING
23.50/23.60 c GARBAGE COLLECT
23.50/23.60 c rational objective 908
24.92/25.09 c #Conflicts: 125000 | #Constraints: 14404
24.92/25.09 c #Conflicts: 126000 | #Constraints: 15404
24.92/25.09 c #Conflicts: 127000 | #Constraints: 16404
24.92/25.09 c #Conflicts: 128000 | #Constraints: 17404
24.92/25.09 c #Conflicts: 129000 | #Constraints: 18404
24.92/25.09 c #Conflicts: 130000 | #Constraints: 19404
24.92/25.09 c #Conflicts: 131000 | #Constraints: 20404
24.92/25.09 c #Conflicts: 132000 | #Constraints: 21404
24.92/25.09 c INPROCESSING
24.92/25.09 c GARBAGE COLLECT
24.92/25.09 c rational objective 908
26.29/26.46 c #Conflicts: 133000 | #Constraints: 14894
26.29/26.46 c #Conflicts: 134000 | #Constraints: 15894
26.29/26.46 c #Conflicts: 135000 | #Constraints: 16894
26.29/26.46 c #Conflicts: 136000 | #Constraints: 17894
26.29/26.46 c #Conflicts: 137000 | #Constraints: 18894
26.29/26.46 c #Conflicts: 138000 | #Constraints: 19894
26.29/26.46 c #Conflicts: 139000 | #Constraints: 20894
26.29/26.46 c #Conflicts: 140000 | #Constraints: 21894
26.29/26.46 c INPROCESSING
26.29/26.46 c GARBAGE COLLECT
26.29/26.46 c rational objective 908
27.59/27.80 c #Conflicts: 141000 | #Constraints: 15198
27.59/27.80 c #Conflicts: 142000 | #Constraints: 16198
27.59/27.80 c #Conflicts: 143000 | #Constraints: 17198
27.59/27.80 c #Conflicts: 144000 | #Constraints: 18198
27.59/27.80 c #Conflicts: 145000 | #Constraints: 19198
27.59/27.80 c #Conflicts: 146000 | #Constraints: 20198
27.59/27.80 c #Conflicts: 147000 | #Constraints: 21198
27.59/27.80 c #Conflicts: 148000 | #Constraints: 22198
27.59/27.80 c INPROCESSING
27.59/27.80 c GARBAGE COLLECT
27.59/27.80 c rational objective 908
29.19/29.30 c #Conflicts: 149000 | #Constraints: 15295
29.19/29.30 c #Conflicts: 150000 | #Constraints: 16295
29.19/29.30 c #Conflicts: 151000 | #Constraints: 17295
29.19/29.30 c #Conflicts: 152000 | #Constraints: 18295
29.19/29.30 c #Conflicts: 153000 | #Constraints: 19295
29.19/29.30 c #Conflicts: 154000 | #Constraints: 20295
29.19/29.30 c #Conflicts: 155000 | #Constraints: 21295
29.19/29.30 c #Conflicts: 156000 | #Constraints: 22295
29.19/29.30 c INPROCESSING
29.19/29.30 c GARBAGE COLLECT
29.19/29.30 c rational objective 908
30.58/30.77 c #Conflicts: 157000 | #Constraints: 15194
30.58/30.77 c #Conflicts: 158000 | #Constraints: 16194
30.58/30.77 c #Conflicts: 159000 | #Constraints: 17194
30.58/30.77 c #Conflicts: 160000 | #Constraints: 18194
30.58/30.77 c #Conflicts: 161000 | #Constraints: 19194
30.58/30.77 c #Conflicts: 162000 | #Constraints: 20194
30.58/30.77 c #Conflicts: 163000 | #Constraints: 21194
30.58/30.77 c #Conflicts: 164000 | #Constraints: 22194
30.58/30.77 c #Conflicts: 165000 | #Constraints: 23194
30.58/30.77 c INPROCESSING
30.58/30.77 c GARBAGE COLLECT
30.58/30.77 c rational objective 908
32.08/32.24 c #Conflicts: 166000 | #Constraints: 15916
32.08/32.24 c #Conflicts: 167000 | #Constraints: 16916
32.08/32.24 c #Conflicts: 168000 | #Constraints: 17916
32.08/32.24 c #Conflicts: 169000 | #Constraints: 18916
32.08/32.24 c #Conflicts: 170000 | #Constraints: 19916
32.08/32.24 c #Conflicts: 171000 | #Constraints: 20916
32.08/32.24 c #Conflicts: 172000 | #Constraints: 21916
32.08/32.24 c #Conflicts: 173000 | #Constraints: 22916
32.08/32.24 c #Conflicts: 174000 | #Constraints: 23916
32.08/32.24 c INPROCESSING
32.08/32.24 c GARBAGE COLLECT
32.08/32.24 c rational objective 908
33.68/33.83 c #Conflicts: 175000 | #Constraints: 16427
33.68/33.83 c #Conflicts: 176000 | #Constraints: 17427
33.68/33.83 c #Conflicts: 177000 | #Constraints: 18427
33.68/33.83 c #Conflicts: 178000 | #Constraints: 19427
33.68/33.83 c #Conflicts: 179000 | #Constraints: 20427
33.68/33.83 c #Conflicts: 180000 | #Constraints: 21427
33.68/33.83 c #Conflicts: 181000 | #Constraints: 22427
33.68/33.83 c #Conflicts: 182000 | #Constraints: 23427
33.68/33.83 c INPROCESSING
33.68/33.83 c GARBAGE COLLECT
33.68/33.83 c rational objective 908
35.36/35.57 c #Conflicts: 183000 | #Constraints: 15703
35.36/35.57 c #Conflicts: 184000 | #Constraints: 16703
35.36/35.57 c #Conflicts: 185000 | #Constraints: 17703
35.36/35.57 c #Conflicts: 186000 | #Constraints: 18703
35.36/35.57 c #Conflicts: 187000 | #Constraints: 19703
35.36/35.57 c #Conflicts: 188000 | #Constraints: 20703
35.36/35.57 c #Conflicts: 189000 | #Constraints: 21703
35.36/35.57 c #Conflicts: 190000 | #Constraints: 22703
35.36/35.57 c #Conflicts: 191000 | #Constraints: 23703
35.36/35.57 c #Conflicts: 192000 | #Constraints: 24703
35.36/35.57 c INPROCESSING
35.36/35.57 c GARBAGE COLLECT
35.36/35.57 c rational objective 908
37.36/37.53 c #Conflicts: 193000 | #Constraints: 16825
37.36/37.53 c #Conflicts: 194000 | #Constraints: 17825
37.36/37.53 c #Conflicts: 195000 | #Constraints: 18825
37.36/37.53 c #Conflicts: 196000 | #Constraints: 19825
37.36/37.53 c #Conflicts: 197000 | #Constraints: 20825
37.36/37.53 c #Conflicts: 198000 | #Constraints: 21825
37.36/37.53 c #Conflicts: 199000 | #Constraints: 22825
37.36/37.53 c #Conflicts: 200000 | #Constraints: 23825
37.36/37.53 c #Conflicts: 201000 | #Constraints: 24825
37.36/37.53 c INPROCESSING
37.36/37.53 c GARBAGE COLLECT
37.36/37.53 c rational objective 908
39.16/39.36 c #Conflicts: 202000 | #Constraints: 16725
39.16/39.36 c #Conflicts: 203000 | #Constraints: 17725
39.16/39.36 c #Conflicts: 204000 | #Constraints: 18725
39.16/39.36 c #Conflicts: 205000 | #Constraints: 19725
39.16/39.36 c #Conflicts: 206000 | #Constraints: 20725
39.16/39.36 c #Conflicts: 207000 | #Constraints: 21725
39.16/39.36 c #Conflicts: 208000 | #Constraints: 22725
39.16/39.36 c #Conflicts: 209000 | #Constraints: 23725
39.16/39.36 c #Conflicts: 210000 | #Constraints: 24725
39.16/39.36 c INPROCESSING
39.16/39.36 c GARBAGE COLLECT
39.16/39.36 c rational objective 908
40.96/41.19 c #Conflicts: 211000 | #Constraints: 16403
40.96/41.19 c #Conflicts: 212000 | #Constraints: 17403
40.96/41.19 c #Conflicts: 213000 | #Constraints: 18403
40.96/41.19 c #Conflicts: 214000 | #Constraints: 19403
40.96/41.19 c #Conflicts: 215000 | #Constraints: 20403
40.96/41.19 c #Conflicts: 216000 | #Constraints: 21403
40.96/41.19 c #Conflicts: 217000 | #Constraints: 22403
40.96/41.19 c #Conflicts: 218000 | #Constraints: 23403
40.96/41.19 c #Conflicts: 219000 | #Constraints: 24403
40.96/41.19 c #Conflicts: 220000 | #Constraints: 25403
40.96/41.19 c INPROCESSING
40.96/41.19 c GARBAGE COLLECT
40.96/41.19 c rational objective 908
42.74/43.00 c #Conflicts: 221000 | #Constraints: 16908
42.74/43.00 c #Conflicts: 222000 | #Constraints: 17908
42.74/43.00 c #Conflicts: 223000 | #Constraints: 18908
42.74/43.00 c #Conflicts: 224000 | #Constraints: 19908
42.74/43.00 c #Conflicts: 225000 | #Constraints: 20908
42.74/43.00 c #Conflicts: 226000 | #Constraints: 21908
42.74/43.00 c #Conflicts: 227000 | #Constraints: 22908
42.74/43.00 c #Conflicts: 228000 | #Constraints: 23908
42.74/43.00 c #Conflicts: 229000 | #Constraints: 24908
42.74/43.00 c #Conflicts: 230000 | #Constraints: 25908
42.74/43.00 c INPROCESSING
42.74/43.00 c GARBAGE COLLECT
42.74/43.00 c rational objective 908
44.54/44.76 c #Conflicts: 231000 | #Constraints: 17201
44.54/44.76 c #Conflicts: 232000 | #Constraints: 18201
44.54/44.76 c #Conflicts: 233000 | #Constraints: 19201
44.54/44.76 c #Conflicts: 234000 | #Constraints: 20201
44.54/44.76 c #Conflicts: 235000 | #Constraints: 21201
44.54/44.76 c #Conflicts: 236000 | #Constraints: 22201
44.54/44.76 c #Conflicts: 237000 | #Constraints: 23201
44.54/44.76 c #Conflicts: 238000 | #Constraints: 24201
44.54/44.76 c #Conflicts: 239000 | #Constraints: 25201
44.54/44.76 c #Conflicts: 240000 | #Constraints: 26201
44.54/44.76 c INPROCESSING
44.54/44.76 c GARBAGE COLLECT
44.54/44.76 c rational objective 908
46.34/46.59 c #Conflicts: 241000 | #Constraints: 17294
46.34/46.59 c #Conflicts: 242000 | #Constraints: 18294
46.34/46.59 c #Conflicts: 243000 | #Constraints: 19294
46.34/46.59 c #Conflicts: 244000 | #Constraints: 20294
46.34/46.59 c #Conflicts: 245000 | #Constraints: 21294
46.34/46.59 c #Conflicts: 246000 | #Constraints: 22294
46.34/46.59 c #Conflicts: 247000 | #Constraints: 23294
46.34/46.59 c #Conflicts: 248000 | #Constraints: 24294
46.34/46.59 c #Conflicts: 249000 | #Constraints: 25294
46.34/46.59 c #Conflicts: 250000 | #Constraints: 26294
46.34/46.59 c INPROCESSING
46.34/46.59 c GARBAGE COLLECT
46.34/46.59 c rational objective 908
48.33/48.54 c #Conflicts: 251000 | #Constraints: 17203
48.33/48.54 c #Conflicts: 252000 | #Constraints: 18203
48.33/48.54 c #Conflicts: 253000 | #Constraints: 19203
48.33/48.54 c #Conflicts: 254000 | #Constraints: 20203
48.33/48.54 c #Conflicts: 255000 | #Constraints: 21203
48.33/48.54 c #Conflicts: 256000 | #Constraints: 22203
48.33/48.54 c #Conflicts: 257000 | #Constraints: 23203
48.33/48.54 c #Conflicts: 258000 | #Constraints: 24203
48.33/48.54 c #Conflicts: 259000 | #Constraints: 25203
48.33/48.54 c #Conflicts: 260000 | #Constraints: 26203
48.33/48.54 c #Conflicts: 261000 | #Constraints: 27203
48.33/48.54 c INPROCESSING
48.33/48.54 c GARBAGE COLLECT
48.33/48.54 c rational objective 908
50.12/50.38 c #Conflicts: 262000 | #Constraints: 17901
50.12/50.38 c #Conflicts: 263000 | #Constraints: 18901
50.12/50.38 c #Conflicts: 264000 | #Constraints: 19901
50.12/50.38 c #Conflicts: 265000 | #Constraints: 20901
50.12/50.38 c #Conflicts: 266000 | #Constraints: 21901
50.12/50.38 c #Conflicts: 267000 | #Constraints: 22901
50.12/50.38 c #Conflicts: 268000 | #Constraints: 23901
50.12/50.38 c #Conflicts: 269000 | #Constraints: 24901
50.12/50.38 c #Conflicts: 270000 | #Constraints: 25901
50.12/50.38 c #Conflicts: 271000 | #Constraints: 26901
50.12/50.38 c #Conflicts: 272000 | #Constraints: 27901
50.12/50.38 c INPROCESSING
50.12/50.38 c GARBAGE COLLECT
50.12/50.38 c rational objective 908
52.22/52.41 c #Conflicts: 273000 | #Constraints: 18395
52.22/52.41 c #Conflicts: 274000 | #Constraints: 19395
52.22/52.41 c #Conflicts: 275000 | #Constraints: 20395
52.22/52.41 c #Conflicts: 276000 | #Constraints: 21395
52.22/52.41 c #Conflicts: 277000 | #Constraints: 22395
52.22/52.41 c #Conflicts: 278000 | #Constraints: 23395
52.22/52.41 c #Conflicts: 279000 | #Constraints: 24395
52.22/52.41 c #Conflicts: 280000 | #Constraints: 25395
52.22/52.41 c #Conflicts: 281000 | #Constraints: 26395
52.22/52.41 c #Conflicts: 282000 | #Constraints: 27395
52.22/52.41 c INPROCESSING
52.22/52.41 c GARBAGE COLLECT
52.22/52.41 c rational objective 908
54.21/54.48 c #Conflicts: 283000 | #Constraints: 17709
54.21/54.48 c #Conflicts: 284000 | #Constraints: 18709
54.21/54.48 c #Conflicts: 285000 | #Constraints: 19709
54.21/54.48 c #Conflicts: 286000 | #Constraints: 20709
54.21/54.48 c #Conflicts: 287000 | #Constraints: 21709
54.21/54.48 c #Conflicts: 288000 | #Constraints: 22709
54.21/54.48 c #Conflicts: 289000 | #Constraints: 23709
54.21/54.48 c #Conflicts: 290000 | #Constraints: 24709
54.21/54.48 c #Conflicts: 291000 | #Constraints: 25709
54.21/54.48 c #Conflicts: 292000 | #Constraints: 26709
54.21/54.48 c #Conflicts: 293000 | #Constraints: 27709
54.21/54.48 c #Conflicts: 294000 | #Constraints: 28709
54.21/54.48 c INPROCESSING
54.21/54.48 c GARBAGE COLLECT
54.21/54.48 c rational objective 908
56.41/56.62 c #Conflicts: 295000 | #Constraints: 18814
56.41/56.62 c #Conflicts: 296000 | #Constraints: 19814
56.41/56.62 c #Conflicts: 297000 | #Constraints: 20814
56.41/56.62 c #Conflicts: 298000 | #Constraints: 21814
56.41/56.62 c #Conflicts: 299000 | #Constraints: 22814
56.41/56.62 c #Conflicts: 300000 | #Constraints: 23814
56.41/56.62 c #Conflicts: 301000 | #Constraints: 24814
56.41/56.62 c #Conflicts: 302000 | #Constraints: 25814
56.41/56.62 c #Conflicts: 303000 | #Constraints: 26814
56.41/56.62 c #Conflicts: 304000 | #Constraints: 27814
56.41/56.62 c #Conflicts: 305000 | #Constraints: 28814
56.41/56.62 c INPROCESSING
56.41/56.62 c GARBAGE COLLECT
56.41/56.62 c rational objective 908
58.30/58.58 c #Conflicts: 306000 | #Constraints: 18713
58.30/58.58 c #Conflicts: 307000 | #Constraints: 19713
58.30/58.58 c #Conflicts: 308000 | #Constraints: 20713
58.30/58.58 c #Conflicts: 309000 | #Constraints: 21713
58.30/58.58 c #Conflicts: 310000 | #Constraints: 22713
58.30/58.58 c #Conflicts: 311000 | #Constraints: 23713
58.30/58.58 c #Conflicts: 312000 | #Constraints: 24713
58.30/58.58 c #Conflicts: 313000 | #Constraints: 25713
58.30/58.58 c #Conflicts: 314000 | #Constraints: 26713
58.30/58.58 c #Conflicts: 315000 | #Constraints: 27713
58.30/58.58 c #Conflicts: 316000 | #Constraints: 28713
58.30/58.58 c INPROCESSING
58.30/58.58 c GARBAGE COLLECT
58.30/58.58 c rational objective 908
60.49/60.73 c #Conflicts: 317000 | #Constraints: 18415
60.49/60.73 c #Conflicts: 318000 | #Constraints: 19415
60.49/60.73 c #Conflicts: 319000 | #Constraints: 20415
60.49/60.73 c #Conflicts: 320000 | #Constraints: 21415
60.49/60.73 c #Conflicts: 321000 | #Constraints: 22415
60.49/60.73 c #Conflicts: 322000 | #Constraints: 23415
60.49/60.73 c #Conflicts: 323000 | #Constraints: 24415
60.49/60.73 c #Conflicts: 324000 | #Constraints: 25415
60.49/60.73 c #Conflicts: 325000 | #Constraints: 26415
60.49/60.73 c #Conflicts: 326000 | #Constraints: 27415
60.49/60.73 c #Conflicts: 327000 | #Constraints: 28415
60.49/60.73 c #Conflicts: 328000 | #Constraints: 29415
60.49/60.73 c INPROCESSING
60.49/60.73 c GARBAGE COLLECT
60.49/60.73 c rational objective 908
62.59/62.89 c #Conflicts: 329000 | #Constraints: 18909
62.59/62.89 c #Conflicts: 330000 | #Constraints: 19909
62.59/62.89 c #Conflicts: 331000 | #Constraints: 20909
62.59/62.89 c #Conflicts: 332000 | #Constraints: 21909
62.59/62.89 c #Conflicts: 333000 | #Constraints: 22909
62.59/62.89 c #Conflicts: 334000 | #Constraints: 23909
62.59/62.89 c #Conflicts: 335000 | #Constraints: 24909
62.59/62.89 c #Conflicts: 336000 | #Constraints: 25909
62.59/62.89 c #Conflicts: 337000 | #Constraints: 26909
62.59/62.89 c #Conflicts: 338000 | #Constraints: 27909
62.59/62.89 c #Conflicts: 339000 | #Constraints: 28909
62.59/62.89 c #Conflicts: 340000 | #Constraints: 29909
62.59/62.89 c INPROCESSING
62.59/62.89 c GARBAGE COLLECT
62.59/62.89 c rational objective 908
64.98/65.28 c #Conflicts: 341000 | #Constraints: 19213
64.98/65.28 c #Conflicts: 342000 | #Constraints: 20213
64.98/65.28 c #Conflicts: 343000 | #Constraints: 21213
64.98/65.28 c #Conflicts: 344000 | #Constraints: 22213
64.98/65.28 c #Conflicts: 345000 | #Constraints: 23213
64.98/65.28 c #Conflicts: 346000 | #Constraints: 24213
64.98/65.28 c #Conflicts: 347000 | #Constraints: 25213
64.98/65.28 c #Conflicts: 348000 | #Constraints: 26213
64.98/65.28 c #Conflicts: 349000 | #Constraints: 27213
64.98/65.28 c #Conflicts: 350000 | #Constraints: 28213
64.98/65.28 c #Conflicts: 351000 | #Constraints: 29213
64.98/65.28 c #Conflicts: 352000 | #Constraints: 30213
64.98/65.28 c INPROCESSING
64.98/65.28 c GARBAGE COLLECT
64.98/65.28 c rational objective 908
67.17/67.48 c #Conflicts: 353000 | #Constraints: 19308
67.17/67.48 c #Conflicts: 354000 | #Constraints: 20308
67.17/67.48 c #Conflicts: 355000 | #Constraints: 21308
67.17/67.48 c #Conflicts: 356000 | #Constraints: 22308
67.17/67.48 c #Conflicts: 357000 | #Constraints: 23308
67.17/67.48 c #Conflicts: 358000 | #Constraints: 24308
67.17/67.48 c #Conflicts: 359000 | #Constraints: 25308
67.17/67.48 c #Conflicts: 360000 | #Constraints: 26308
67.17/67.48 c #Conflicts: 361000 | #Constraints: 27308
67.17/67.48 c #Conflicts: 362000 | #Constraints: 28308
67.17/67.48 c #Conflicts: 363000 | #Constraints: 29308
67.17/67.48 c #Conflicts: 364000 | #Constraints: 30308
67.17/67.48 c INPROCESSING
67.17/67.48 c GARBAGE COLLECT
67.17/67.48 c rational objective 908
69.88/70.18 c #Conflicts: 365000 | #Constraints: 19207
69.88/70.18 c #Conflicts: 366000 | #Constraints: 20207
69.88/70.18 c #Conflicts: 367000 | #Constraints: 21207
69.88/70.18 c #Conflicts: 368000 | #Constraints: 22207
69.88/70.18 c #Conflicts: 369000 | #Constraints: 23207
69.88/70.18 c #Conflicts: 370000 | #Constraints: 24207
69.88/70.18 c #Conflicts: 371000 | #Constraints: 25207
69.88/70.18 c #Conflicts: 372000 | #Constraints: 26207
69.88/70.18 c #Conflicts: 373000 | #Constraints: 27207
69.88/70.18 c #Conflicts: 374000 | #Constraints: 28207
69.88/70.18 c #Conflicts: 375000 | #Constraints: 29207
69.88/70.18 c #Conflicts: 376000 | #Constraints: 30207
69.88/70.18 c #Conflicts: 377000 | #Constraints: 31207
69.88/70.18 c INPROCESSING
69.88/70.18 c GARBAGE COLLECT
69.88/70.18 c rational objective 908
72.36/72.66 c #Conflicts: 378000 | #Constraints: 19932
72.36/72.66 c #Conflicts: 379000 | #Constraints: 20932
72.36/72.66 c #Conflicts: 380000 | #Constraints: 21932
72.36/72.66 c #Conflicts: 381000 | #Constraints: 22932
72.36/72.66 c #Conflicts: 382000 | #Constraints: 23932
72.36/72.66 c #Conflicts: 383000 | #Constraints: 24932
72.36/72.66 c #Conflicts: 384000 | #Constraints: 25932
72.36/72.66 c #Conflicts: 385000 | #Constraints: 26932
72.36/72.66 c #Conflicts: 386000 | #Constraints: 27932
72.36/72.66 c #Conflicts: 387000 | #Constraints: 28932
72.36/72.66 c #Conflicts: 388000 | #Constraints: 29932
72.36/72.66 c #Conflicts: 389000 | #Constraints: 30932
72.36/72.66 c #Conflicts: 390000 | #Constraints: 31932
72.36/72.66 c INPROCESSING
72.36/72.66 c GARBAGE COLLECT
72.36/72.66 c rational objective 908
74.75/75.06 c #Conflicts: 391000 | #Constraints: 20434
74.75/75.06 c #Conflicts: 392000 | #Constraints: 21434
74.75/75.06 c #Conflicts: 393000 | #Constraints: 22434
74.75/75.06 c #Conflicts: 394000 | #Constraints: 23434
74.75/75.06 c #Conflicts: 395000 | #Constraints: 24434
74.75/75.06 c #Conflicts: 396000 | #Constraints: 25434
74.75/75.06 c #Conflicts: 397000 | #Constraints: 26434
74.75/75.06 c #Conflicts: 398000 | #Constraints: 27434
74.75/75.06 c #Conflicts: 399000 | #Constraints: 28434
74.75/75.06 c #Conflicts: 400000 | #Constraints: 29434
74.75/75.06 c #Conflicts: 401000 | #Constraints: 30434
74.75/75.06 c #Conflicts: 402000 | #Constraints: 31434
74.75/75.06 c INPROCESSING
74.75/75.06 c GARBAGE COLLECT
74.75/75.06 c rational objective 908
77.54/77.89 c #Conflicts: 403000 | #Constraints: 19729
77.54/77.89 c #Conflicts: 404000 | #Constraints: 20729
77.54/77.89 c #Conflicts: 405000 | #Constraints: 21729
77.54/77.89 c #Conflicts: 406000 | #Constraints: 22729
77.54/77.89 c #Conflicts: 407000 | #Constraints: 23729
77.54/77.89 c #Conflicts: 408000 | #Constraints: 24729
77.54/77.89 c #Conflicts: 409000 | #Constraints: 25729
77.54/77.89 c #Conflicts: 410000 | #Constraints: 26729
77.54/77.89 c #Conflicts: 411000 | #Constraints: 27729
77.54/77.89 c #Conflicts: 412000 | #Constraints: 28729
77.54/77.89 c #Conflicts: 413000 | #Constraints: 29729
77.54/77.89 c #Conflicts: 414000 | #Constraints: 30729
77.54/77.89 c #Conflicts: 415000 | #Constraints: 31729
77.54/77.89 c #Conflicts: 416000 | #Constraints: 32729
77.54/77.89 c INPROCESSING
77.54/77.89 c GARBAGE COLLECT
77.54/77.89 c rational objective 908
80.32/80.65 c #Conflicts: 417000 | #Constraints: 20827
80.32/80.65 c #Conflicts: 418000 | #Constraints: 21827
80.32/80.65 c #Conflicts: 419000 | #Constraints: 22827
80.32/80.65 c #Conflicts: 420000 | #Constraints: 23827
80.32/80.65 c #Conflicts: 421000 | #Constraints: 24827
80.32/80.65 c #Conflicts: 422000 | #Constraints: 25827
80.32/80.65 c #Conflicts: 423000 | #Constraints: 26827
80.32/80.65 c #Conflicts: 424000 | #Constraints: 27827
80.32/80.65 c #Conflicts: 425000 | #Constraints: 28827
80.32/80.65 c #Conflicts: 426000 | #Constraints: 29827
80.32/80.65 c #Conflicts: 427000 | #Constraints: 30827
80.32/80.65 c #Conflicts: 428000 | #Constraints: 31827
80.32/80.65 c #Conflicts: 429000 | #Constraints: 32827
80.32/80.65 c INPROCESSING
80.32/80.65 c GARBAGE COLLECT
80.32/80.65 c rational objective 908
83.83/84.14 c #Conflicts: 430000 | #Constraints: 20740
83.83/84.14 c #Conflicts: 431000 | #Constraints: 21740
83.83/84.14 c #Conflicts: 432000 | #Constraints: 22740
83.83/84.14 c #Conflicts: 433000 | #Constraints: 23740
83.83/84.14 c #Conflicts: 434000 | #Constraints: 24740
83.83/84.14 c #Conflicts: 435000 | #Constraints: 25740
83.83/84.14 c #Conflicts: 436000 | #Constraints: 26740
83.83/84.14 c #Conflicts: 437000 | #Constraints: 27740
83.83/84.14 c #Conflicts: 438000 | #Constraints: 28740
83.83/84.14 c #Conflicts: 439000 | #Constraints: 29740
83.83/84.14 c #Conflicts: 440000 | #Constraints: 30740
83.83/84.14 c #Conflicts: 441000 | #Constraints: 31740
83.83/84.14 c #Conflicts: 442000 | #Constraints: 32740
83.83/84.14 c INPROCESSING
83.83/84.14 c GARBAGE COLLECT
83.83/84.14 c rational objective 908
86.41/86.70 c #Conflicts: 443000 | #Constraints: 20437
86.41/86.70 c #Conflicts: 444000 | #Constraints: 21437
86.41/86.70 c #Conflicts: 445000 | #Constraints: 22437
86.41/86.70 c #Conflicts: 446000 | #Constraints: 23437
86.41/86.70 c #Conflicts: 447000 | #Constraints: 24437
86.41/86.70 c #Conflicts: 448000 | #Constraints: 25437
86.41/86.70 c #Conflicts: 449000 | #Constraints: 26437
86.41/86.70 c #Conflicts: 450000 | #Constraints: 27437
86.41/86.70 c #Conflicts: 451000 | #Constraints: 28437
86.41/86.70 c #Conflicts: 452000 | #Constraints: 29437
86.41/86.70 c #Conflicts: 453000 | #Constraints: 30437
86.41/86.70 c #Conflicts: 454000 | #Constraints: 31437
86.41/86.70 c #Conflicts: 455000 | #Constraints: 32437
86.41/86.70 c #Conflicts: 456000 | #Constraints: 33437
86.41/86.70 c INPROCESSING
86.41/86.70 c GARBAGE COLLECT
86.41/86.70 c rational objective 908
88.90/89.22 c #Conflicts: 457000 | #Constraints: 20935
88.90/89.22 c #Conflicts: 458000 | #Constraints: 21935
88.90/89.22 c #Conflicts: 459000 | #Constraints: 22935
88.90/89.22 c #Conflicts: 460000 | #Constraints: 23935
88.90/89.22 c #Conflicts: 461000 | #Constraints: 24935
88.90/89.22 c #Conflicts: 462000 | #Constraints: 25935
88.90/89.22 c #Conflicts: 463000 | #Constraints: 26935
88.90/89.22 c #Conflicts: 464000 | #Constraints: 27935
88.90/89.22 c #Conflicts: 465000 | #Constraints: 28935
88.90/89.22 c #Conflicts: 466000 | #Constraints: 29935
88.90/89.22 c #Conflicts: 467000 | #Constraints: 30935
88.90/89.22 c #Conflicts: 468000 | #Constraints: 31935
88.90/89.22 c #Conflicts: 469000 | #Constraints: 32935
88.90/89.22 c #Conflicts: 470000 | #Constraints: 33935
88.90/89.22 c INPROCESSING
88.90/89.22 c GARBAGE COLLECT
88.90/89.22 c rational objective 908
91.99/92.40 c #Conflicts: 471000 | #Constraints: 21249
91.99/92.40 c #Conflicts: 472000 | #Constraints: 22249
91.99/92.40 c #Conflicts: 473000 | #Constraints: 23249
91.99/92.40 c #Conflicts: 474000 | #Constraints: 24249
91.99/92.40 c #Conflicts: 475000 | #Constraints: 25249
91.99/92.40 c #Conflicts: 476000 | #Constraints: 26249
91.99/92.40 c #Conflicts: 477000 | #Constraints: 27249
91.99/92.40 c #Conflicts: 478000 | #Constraints: 28249
91.99/92.40 c #Conflicts: 479000 | #Constraints: 29249
91.99/92.40 c #Conflicts: 480000 | #Constraints: 30249
91.99/92.40 c #Conflicts: 481000 | #Constraints: 31249
91.99/92.40 c #Conflicts: 482000 | #Constraints: 32249
91.99/92.40 c #Conflicts: 483000 | #Constraints: 33249
91.99/92.40 c #Conflicts: 484000 | #Constraints: 34249
91.99/92.40 c INPROCESSING
91.99/92.40 c GARBAGE COLLECT
91.99/92.40 c rational objective 908
95.27/95.67 c #Conflicts: 485000 | #Constraints: 21343
95.27/95.67 c #Conflicts: 486000 | #Constraints: 22343
95.27/95.67 c #Conflicts: 487000 | #Constraints: 23343
95.27/95.67 c #Conflicts: 488000 | #Constraints: 24343
95.27/95.67 c #Conflicts: 489000 | #Constraints: 25343
95.27/95.67 c #Conflicts: 490000 | #Constraints: 26343
95.27/95.67 c #Conflicts: 491000 | #Constraints: 27343
95.27/95.67 c #Conflicts: 492000 | #Constraints: 28343
95.27/95.67 c #Conflicts: 493000 | #Constraints: 29343
95.27/95.67 c #Conflicts: 494000 | #Constraints: 30343
95.27/95.67 c #Conflicts: 495000 | #Constraints: 31343
95.27/95.67 c #Conflicts: 496000 | #Constraints: 32343
95.27/95.67 c #Conflicts: 497000 | #Constraints: 33343
95.27/95.67 c #Conflicts: 498000 | #Constraints: 34343
95.27/95.67 c INPROCESSING
95.27/95.67 c GARBAGE COLLECT
95.27/95.67 c rational objective 908
98.78/99.17 c #Conflicts: 499000 | #Constraints: 21235
98.78/99.17 c #Conflicts: 500000 | #Constraints: 22235
98.78/99.17 c #Conflicts: 501000 | #Constraints: 23235
98.78/99.17 c #Conflicts: 502000 | #Constraints: 24235
98.78/99.17 c #Conflicts: 503000 | #Constraints: 25235
98.78/99.17 c #Conflicts: 504000 | #Constraints: 26235
98.78/99.17 c #Conflicts: 505000 | #Constraints: 27235
98.78/99.17 c #Conflicts: 506000 | #Constraints: 28235
98.78/99.17 c #Conflicts: 507000 | #Constraints: 29235
98.78/99.17 c #Conflicts: 508000 | #Constraints: 30235
98.78/99.17 c #Conflicts: 509000 | #Constraints: 31235
98.78/99.17 c #Conflicts: 510000 | #Constraints: 32235
98.78/99.17 c #Conflicts: 511000 | #Constraints: 33235
98.78/99.17 c #Conflicts: 512000 | #Constraints: 34235
98.78/99.17 c #Conflicts: 513000 | #Constraints: 35235
98.78/99.17 c INPROCESSING
98.78/99.17 c GARBAGE COLLECT
98.78/99.17 c rational objective 908
101.76/102.12 c #Conflicts: 514000 | #Constraints: 21928
101.76/102.12 c #Conflicts: 515000 | #Constraints: 22928
101.76/102.12 c #Conflicts: 516000 | #Constraints: 23928
101.76/102.12 c #Conflicts: 517000 | #Constraints: 24928
101.76/102.12 c #Conflicts: 518000 | #Constraints: 25928
101.76/102.12 c #Conflicts: 519000 | #Constraints: 26928
101.76/102.12 c #Conflicts: 520000 | #Constraints: 27928
101.76/102.12 c #Conflicts: 521000 | #Constraints: 28928
101.76/102.12 c #Conflicts: 522000 | #Constraints: 29928
101.76/102.12 c #Conflicts: 523000 | #Constraints: 30928
101.76/102.12 c #Conflicts: 524000 | #Constraints: 31928
101.76/102.12 c #Conflicts: 525000 | #Constraints: 32928
101.76/102.12 c #Conflicts: 526000 | #Constraints: 33928
101.76/102.12 c #Conflicts: 527000 | #Constraints: 34928
101.76/102.12 c #Conflicts: 528000 | #Constraints: 35928
101.76/102.12 c INPROCESSING
101.76/102.12 c GARBAGE COLLECT
101.76/102.12 c rational objective 908
104.75/105.16 c #Conflicts: 529000 | #Constraints: 22443
104.75/105.16 c #Conflicts: 530000 | #Constraints: 23443
104.75/105.16 c #Conflicts: 531000 | #Constraints: 24443
104.75/105.16 c #Conflicts: 532000 | #Constraints: 25443
104.75/105.16 c #Conflicts: 533000 | #Constraints: 26443
104.75/105.16 c #Conflicts: 534000 | #Constraints: 27443
104.75/105.16 c #Conflicts: 535000 | #Constraints: 28443
104.75/105.16 c #Conflicts: 536000 | #Constraints: 29443
104.75/105.16 c #Conflicts: 537000 | #Constraints: 30443
104.75/105.16 c #Conflicts: 538000 | #Constraints: 31443
104.75/105.16 c #Conflicts: 539000 | #Constraints: 32443
104.75/105.16 c #Conflicts: 540000 | #Constraints: 33443
104.75/105.16 c #Conflicts: 541000 | #Constraints: 34443
104.75/105.16 c #Conflicts: 542000 | #Constraints: 35443
104.75/105.16 c INPROCESSING
104.75/105.16 c GARBAGE COLLECT
104.75/105.16 c rational objective 908
107.83/108.26 c #Conflicts: 543000 | #Constraints: 21732
107.83/108.26 c #Conflicts: 544000 | #Constraints: 22732
107.83/108.26 c #Conflicts: 545000 | #Constraints: 23732
107.83/108.26 c #Conflicts: 546000 | #Constraints: 24732
107.83/108.26 c #Conflicts: 547000 | #Constraints: 25732
107.83/108.26 c #Conflicts: 548000 | #Constraints: 26732
107.83/108.26 c #Conflicts: 549000 | #Constraints: 27732
107.83/108.26 c #Conflicts: 550000 | #Constraints: 28732
107.83/108.26 c #Conflicts: 551000 | #Constraints: 29732
107.83/108.26 c #Conflicts: 552000 | #Constraints: 30732
107.83/108.26 c #Conflicts: 553000 | #Constraints: 31732
107.83/108.26 c #Conflicts: 554000 | #Constraints: 32732
107.83/108.26 c #Conflicts: 555000 | #Constraints: 33732
107.83/108.26 c #Conflicts: 556000 | #Constraints: 34732
107.83/108.26 c #Conflicts: 557000 | #Constraints: 35732
107.83/108.26 c #Conflicts: 558000 | #Constraints: 36732
107.83/108.26 c INPROCESSING
107.83/108.26 c GARBAGE COLLECT
107.83/108.26 c rational objective 908
110.93/111.33 c #Conflicts: 559000 | #Constraints: 22817
110.93/111.33 c #Conflicts: 560000 | #Constraints: 23817
110.93/111.33 c #Conflicts: 561000 | #Constraints: 24817
110.93/111.33 c #Conflicts: 562000 | #Constraints: 25817
110.93/111.33 c #Conflicts: 563000 | #Constraints: 26817
110.93/111.33 c #Conflicts: 564000 | #Constraints: 27817
110.93/111.33 c #Conflicts: 565000 | #Constraints: 28817
110.93/111.33 c #Conflicts: 566000 | #Constraints: 29817
110.93/111.33 c #Conflicts: 567000 | #Constraints: 30817
110.93/111.33 c #Conflicts: 568000 | #Constraints: 31817
110.93/111.33 c #Conflicts: 569000 | #Constraints: 32817
110.93/111.33 c #Conflicts: 570000 | #Constraints: 33817
110.93/111.33 c #Conflicts: 571000 | #Constraints: 34817
110.93/111.33 c #Conflicts: 572000 | #Constraints: 35817
110.93/111.33 c #Conflicts: 573000 | #Constraints: 36817
110.93/111.33 c INPROCESSING
110.93/111.33 c GARBAGE COLLECT
110.93/111.33 c rational objective 908
114.11/114.56 c #Conflicts: 574000 | #Constraints: 22722
114.11/114.56 c #Conflicts: 575000 | #Constraints: 23722
114.11/114.56 c #Conflicts: 576000 | #Constraints: 24722
114.11/114.56 c #Conflicts: 577000 | #Constraints: 25722
114.11/114.56 c #Conflicts: 578000 | #Constraints: 26722
114.11/114.56 c #Conflicts: 579000 | #Constraints: 27722
114.11/114.56 c #Conflicts: 580000 | #Constraints: 28722
114.11/114.56 c #Conflicts: 581000 | #Constraints: 29722
114.11/114.56 c #Conflicts: 582000 | #Constraints: 30722
114.11/114.56 c #Conflicts: 583000 | #Constraints: 31722
114.11/114.56 c #Conflicts: 584000 | #Constraints: 32722
114.11/114.56 c #Conflicts: 585000 | #Constraints: 33722
114.11/114.56 c #Conflicts: 586000 | #Constraints: 34722
114.11/114.56 c #Conflicts: 587000 | #Constraints: 35722
114.11/114.56 c #Conflicts: 588000 | #Constraints: 36722
114.11/114.56 c INPROCESSING
114.11/114.56 c GARBAGE COLLECT
114.11/114.56 c rational objective 908
117.50/117.91 c #Conflicts: 589000 | #Constraints: 22416
117.50/117.91 c #Conflicts: 590000 | #Constraints: 23416
117.50/117.91 c #Conflicts: 591000 | #Constraints: 24416
117.50/117.91 c #Conflicts: 592000 | #Constraints: 25416
117.50/117.91 c #Conflicts: 593000 | #Constraints: 26416
117.50/117.91 c #Conflicts: 594000 | #Constraints: 27416
117.50/117.91 c #Conflicts: 595000 | #Constraints: 28416
117.50/117.91 c #Conflicts: 596000 | #Constraints: 29416
117.50/117.91 c #Conflicts: 597000 | #Constraints: 30416
117.50/117.91 c #Conflicts: 598000 | #Constraints: 31416
117.50/117.91 c #Conflicts: 599000 | #Constraints: 32416
117.50/117.91 c #Conflicts: 600000 | #Constraints: 33416
117.50/117.91 c #Conflicts: 601000 | #Constraints: 34416
117.50/117.91 c #Conflicts: 602000 | #Constraints: 35416
117.50/117.91 c #Conflicts: 603000 | #Constraints: 36416
117.50/117.91 c #Conflicts: 604000 | #Constraints: 37416
117.50/117.91 c INPROCESSING
117.50/117.91 c GARBAGE COLLECT
117.50/117.91 c rational objective 908
121.09/121.52 c #Conflicts: 605000 | #Constraints: 22926
121.09/121.52 c #Conflicts: 606000 | #Constraints: 23926
121.09/121.52 c #Conflicts: 607000 | #Constraints: 24926
121.09/121.52 c #Conflicts: 608000 | #Constraints: 25926
121.09/121.52 c #Conflicts: 609000 | #Constraints: 26926
121.09/121.52 c #Conflicts: 610000 | #Constraints: 27926
121.09/121.52 c #Conflicts: 611000 | #Constraints: 28926
121.09/121.52 c #Conflicts: 612000 | #Constraints: 29926
121.09/121.52 c #Conflicts: 613000 | #Constraints: 30926
121.09/121.52 c #Conflicts: 614000 | #Constraints: 31926
121.09/121.52 c #Conflicts: 615000 | #Constraints: 32926
121.09/121.52 c #Conflicts: 616000 | #Constraints: 33926
121.09/121.52 c #Conflicts: 617000 | #Constraints: 34926
121.09/121.52 c #Conflicts: 618000 | #Constraints: 35926
121.09/121.52 c #Conflicts: 619000 | #Constraints: 36926
121.09/121.52 c #Conflicts: 620000 | #Constraints: 37926
121.09/121.52 c INPROCESSING
121.09/121.52 c GARBAGE COLLECT
121.09/121.52 c rational objective 908
124.38/124.83 c #Conflicts: 621000 | #Constraints: 23217
124.38/124.83 c #Conflicts: 622000 | #Constraints: 24217
124.38/124.83 c #Conflicts: 623000 | #Constraints: 25217
124.38/124.83 c #Conflicts: 624000 | #Constraints: 26217
124.38/124.83 c #Conflicts: 625000 | #Constraints: 27217
124.38/124.83 c #Conflicts: 626000 | #Constraints: 28217
124.38/124.83 c #Conflicts: 627000 | #Constraints: 29217
124.38/124.83 c #Conflicts: 628000 | #Constraints: 30217
124.38/124.83 c #Conflicts: 629000 | #Constraints: 31217
124.38/124.83 c #Conflicts: 630000 | #Constraints: 32217
124.38/124.83 c #Conflicts: 631000 | #Constraints: 33217
124.38/124.83 c #Conflicts: 632000 | #Constraints: 34217
124.38/124.83 c #Conflicts: 633000 | #Constraints: 35217
124.38/124.83 c #Conflicts: 634000 | #Constraints: 36217
124.38/124.83 c #Conflicts: 635000 | #Constraints: 37217
124.38/124.83 c #Conflicts: 636000 | #Constraints: 38217
124.38/124.83 c INPROCESSING
124.38/124.83 c GARBAGE COLLECT
124.38/124.83 c rational objective 908
127.48/127.99 c #Conflicts: 637000 | #Constraints: 23315
127.48/127.99 c #Conflicts: 638000 | #Constraints: 24315
127.48/127.99 c #Conflicts: 639000 | #Constraints: 25315
127.48/127.99 c #Conflicts: 640000 | #Constraints: 26315
127.48/127.99 c #Conflicts: 641000 | #Constraints: 27315
127.48/127.99 c #Conflicts: 642000 | #Constraints: 28315
127.48/127.99 c #Conflicts: 643000 | #Constraints: 29315
127.48/127.99 c #Conflicts: 644000 | #Constraints: 30315
127.48/127.99 c #Conflicts: 645000 | #Constraints: 31315
127.48/127.99 c #Conflicts: 646000 | #Constraints: 32315
127.48/127.99 c #Conflicts: 647000 | #Constraints: 33315
127.48/127.99 c #Conflicts: 648000 | #Constraints: 34315
127.48/127.99 c #Conflicts: 649000 | #Constraints: 35315
127.48/127.99 c #Conflicts: 650000 | #Constraints: 36315
127.48/127.99 c #Conflicts: 651000 | #Constraints: 37315
127.48/127.99 c #Conflicts: 652000 | #Constraints: 38315
127.48/127.99 c INPROCESSING
127.48/127.99 c GARBAGE COLLECT
127.48/127.99 c rational objective 908
130.96/131.44 c #Conflicts: 653000 | #Constraints: 23231
130.96/131.44 c #Conflicts: 654000 | #Constraints: 24231
130.96/131.44 c #Conflicts: 655000 | #Constraints: 25231
130.96/131.44 c #Conflicts: 656000 | #Constraints: 26231
130.96/131.44 c #Conflicts: 657000 | #Constraints: 27231
130.96/131.44 c #Conflicts: 658000 | #Constraints: 28231
130.96/131.44 c #Conflicts: 659000 | #Constraints: 29231
130.96/131.44 c #Conflicts: 660000 | #Constraints: 30231
130.96/131.44 c #Conflicts: 661000 | #Constraints: 31231
130.96/131.44 c #Conflicts: 662000 | #Constraints: 32231
130.96/131.44 c #Conflicts: 663000 | #Constraints: 33231
130.96/131.44 c #Conflicts: 664000 | #Constraints: 34231
130.96/131.44 c #Conflicts: 665000 | #Constraints: 35231
130.96/131.44 c #Conflicts: 666000 | #Constraints: 36231
130.96/131.44 c #Conflicts: 667000 | #Constraints: 37231
130.96/131.44 c #Conflicts: 668000 | #Constraints: 38231
130.96/131.44 c #Conflicts: 669000 | #Constraints: 39231
130.96/131.44 c INPROCESSING
130.96/131.44 c GARBAGE COLLECT
130.96/131.44 c rational objective 908
134.55/135.02 c #Conflicts: 670000 | #Constraints: 23927
134.55/135.02 c #Conflicts: 671000 | #Constraints: 24927
134.55/135.02 c #Conflicts: 672000 | #Constraints: 25927
134.55/135.02 c #Conflicts: 673000 | #Constraints: 26927
134.55/135.02 c #Conflicts: 674000 | #Constraints: 27927
134.55/135.02 c #Conflicts: 675000 | #Constraints: 28927
134.55/135.02 c #Conflicts: 676000 | #Constraints: 29927
134.55/135.02 c #Conflicts: 677000 | #Constraints: 30927
134.55/135.02 c #Conflicts: 678000 | #Constraints: 31927
134.55/135.02 c #Conflicts: 679000 | #Constraints: 32927
134.55/135.02 c #Conflicts: 680000 | #Constraints: 33927
134.55/135.02 c #Conflicts: 681000 | #Constraints: 34927
134.55/135.02 c #Conflicts: 682000 | #Constraints: 35927
134.55/135.02 c #Conflicts: 683000 | #Constraints: 36927
134.55/135.02 c #Conflicts: 684000 | #Constraints: 37927
134.55/135.02 c #Conflicts: 685000 | #Constraints: 38927
134.55/135.02 c #Conflicts: 686000 | #Constraints: 39927
134.55/135.02 c INPROCESSING
134.55/135.02 c GARBAGE COLLECT
134.55/135.02 c rational objective 908
138.13/138.67 c #Conflicts: 687000 | #Constraints: 24444
138.13/138.67 c #Conflicts: 688000 | #Constraints: 25444
138.13/138.67 c #Conflicts: 689000 | #Constraints: 26444
138.13/138.67 c #Conflicts: 690000 | #Constraints: 27444
138.13/138.67 c #Conflicts: 691000 | #Constraints: 28444
138.13/138.67 c #Conflicts: 692000 | #Constraints: 29444
138.13/138.67 c #Conflicts: 693000 | #Constraints: 30444
138.13/138.67 c #Conflicts: 694000 | #Constraints: 31444
138.13/138.67 c #Conflicts: 695000 | #Constraints: 32444
138.13/138.67 c #Conflicts: 696000 | #Constraints: 33444
138.13/138.67 c #Conflicts: 697000 | #Constraints: 34444
138.13/138.67 c #Conflicts: 698000 | #Constraints: 35444
138.13/138.67 c #Conflicts: 699000 | #Constraints: 36444
138.13/138.67 c #Conflicts: 700000 | #Constraints: 37444
138.13/138.67 c #Conflicts: 701000 | #Constraints: 38444
138.13/138.67 c #Conflicts: 702000 | #Constraints: 39444
138.13/138.67 c INPROCESSING
138.13/138.67 c GARBAGE COLLECT
138.13/138.67 c rational objective 908
142.22/142.79 c #Conflicts: 703000 | #Constraints: 23746
142.22/142.79 c #Conflicts: 704000 | #Constraints: 24746
142.22/142.79 c #Conflicts: 705000 | #Constraints: 25746
142.22/142.79 c #Conflicts: 706000 | #Constraints: 26746
142.22/142.79 c #Conflicts: 707000 | #Constraints: 27746
142.22/142.79 c #Conflicts: 708000 | #Constraints: 28746
142.22/142.79 c #Conflicts: 709000 | #Constraints: 29746
142.22/142.79 c #Conflicts: 710000 | #Constraints: 30746
142.22/142.79 c #Conflicts: 711000 | #Constraints: 31746
142.22/142.79 c #Conflicts: 712000 | #Constraints: 32746
142.22/142.79 c #Conflicts: 713000 | #Constraints: 33746
142.22/142.79 c #Conflicts: 714000 | #Constraints: 34746
142.22/142.79 c #Conflicts: 715000 | #Constraints: 35746
142.22/142.79 c #Conflicts: 716000 | #Constraints: 36746
142.22/142.79 c #Conflicts: 717000 | #Constraints: 37746
142.22/142.79 c #Conflicts: 718000 | #Constraints: 38746
142.22/142.79 c #Conflicts: 719000 | #Constraints: 39746
142.22/142.79 c #Conflicts: 720000 | #Constraints: 40746
142.22/142.79 c INPROCESSING
142.22/142.79 c GARBAGE COLLECT
142.22/142.79 c rational objective 908
146.90/147.49 c #Conflicts: 721000 | #Constraints: 24841
146.90/147.49 c #Conflicts: 722000 | #Constraints: 25841
146.90/147.49 c #Conflicts: 723000 | #Constraints: 26841
146.90/147.49 c #Conflicts: 724000 | #Constraints: 27841
146.90/147.49 c #Conflicts: 725000 | #Constraints: 28841
146.90/147.49 c #Conflicts: 726000 | #Constraints: 29841
146.90/147.49 c #Conflicts: 727000 | #Constraints: 30841
146.90/147.49 c #Conflicts: 728000 | #Constraints: 31841
146.90/147.49 c #Conflicts: 729000 | #Constraints: 32841
146.90/147.49 c #Conflicts: 730000 | #Constraints: 33841
146.90/147.49 c #Conflicts: 731000 | #Constraints: 34841
146.90/147.49 c #Conflicts: 732000 | #Constraints: 35841
146.90/147.49 c #Conflicts: 733000 | #Constraints: 36841
146.90/147.49 c #Conflicts: 734000 | #Constraints: 37841
146.90/147.49 c #Conflicts: 735000 | #Constraints: 38841
146.90/147.49 c #Conflicts: 736000 | #Constraints: 39841
146.90/147.49 c #Conflicts: 737000 | #Constraints: 40841
146.90/147.49 c INPROCESSING
146.90/147.49 c GARBAGE COLLECT
146.90/147.49 c rational objective 908
150.51/151.02 c #Conflicts: 738000 | #Constraints: 24738
150.51/151.02 c #Conflicts: 739000 | #Constraints: 25738
150.51/151.02 c #Conflicts: 740000 | #Constraints: 26738
150.51/151.02 c #Conflicts: 741000 | #Constraints: 27738
150.51/151.02 c #Conflicts: 742000 | #Constraints: 28738
150.51/151.02 c #Conflicts: 743000 | #Constraints: 29738
150.51/151.02 c #Conflicts: 744000 | #Constraints: 30738
150.51/151.02 c #Conflicts: 745000 | #Constraints: 31738
150.51/151.02 c #Conflicts: 746000 | #Constraints: 32738
150.51/151.02 c #Conflicts: 747000 | #Constraints: 33738
150.51/151.02 c #Conflicts: 748000 | #Constraints: 34738
150.51/151.02 c #Conflicts: 749000 | #Constraints: 35738
150.51/151.02 c #Conflicts: 750000 | #Constraints: 36738
150.51/151.02 c #Conflicts: 751000 | #Constraints: 37738
150.51/151.02 c #Conflicts: 752000 | #Constraints: 38738
150.51/151.02 c #Conflicts: 753000 | #Constraints: 39738
150.51/151.02 c #Conflicts: 754000 | #Constraints: 40738
150.51/151.02 c INPROCESSING
150.51/151.02 c GARBAGE COLLECT
150.51/151.02 c rational objective 908
153.98/154.55 c #Conflicts: 755000 | #Constraints: 24421
153.98/154.55 c #Conflicts: 756000 | #Constraints: 25421
153.98/154.55 c #Conflicts: 757000 | #Constraints: 26421
153.98/154.55 c #Conflicts: 758000 | #Constraints: 27421
153.98/154.55 c #Conflicts: 759000 | #Constraints: 28421
153.98/154.55 c #Conflicts: 760000 | #Constraints: 29421
153.98/154.55 c #Conflicts: 761000 | #Constraints: 30421
153.98/154.55 c #Conflicts: 762000 | #Constraints: 31421
153.98/154.55 c #Conflicts: 763000 | #Constraints: 32421
153.98/154.55 c #Conflicts: 764000 | #Constraints: 33421
153.98/154.55 c #Conflicts: 765000 | #Constraints: 34421
153.98/154.55 c #Conflicts: 766000 | #Constraints: 35421
153.98/154.55 c #Conflicts: 767000 | #Constraints: 36421
153.98/154.55 c #Conflicts: 768000 | #Constraints: 37421
153.98/154.55 c #Conflicts: 769000 | #Constraints: 38421
153.98/154.55 c #Conflicts: 770000 | #Constraints: 39421
153.98/154.55 c #Conflicts: 771000 | #Constraints: 40421
153.98/154.55 c #Conflicts: 772000 | #Constraints: 41421
153.98/154.55 c INPROCESSING
153.98/154.55 c GARBAGE COLLECT
153.98/154.55 c rational objective 908
157.37/157.97 c #Conflicts: 773000 | #Constraints: 24927
157.37/157.97 c #Conflicts: 774000 | #Constraints: 25927
157.37/157.97 c #Conflicts: 775000 | #Constraints: 26927
157.37/157.97 c #Conflicts: 776000 | #Constraints: 27927
157.37/157.97 c #Conflicts: 777000 | #Constraints: 28927
157.37/157.97 c #Conflicts: 778000 | #Constraints: 29927
157.37/157.97 c #Conflicts: 779000 | #Constraints: 30927
157.37/157.97 c #Conflicts: 780000 | #Constraints: 31927
157.37/157.97 c #Conflicts: 781000 | #Constraints: 32927
157.37/157.97 c #Conflicts: 782000 | #Constraints: 33927
157.37/157.97 c #Conflicts: 783000 | #Constraints: 34927
157.37/157.97 c #Conflicts: 784000 | #Constraints: 35927
157.37/157.97 c #Conflicts: 785000 | #Constraints: 36927
157.37/157.97 c #Conflicts: 786000 | #Constraints: 37927
157.37/157.97 c #Conflicts: 787000 | #Constraints: 38927
157.37/157.97 c #Conflicts: 788000 | #Constraints: 39927
157.37/157.97 c #Conflicts: 789000 | #Constraints: 40927
157.37/157.97 c #Conflicts: 790000 | #Constraints: 41927
157.37/157.97 c INPROCESSING
157.37/157.97 c GARBAGE COLLECT
157.37/157.97 c rational objective 908
161.17/161.76 c #Conflicts: 791000 | #Constraints: 25225
161.17/161.76 c #Conflicts: 792000 | #Constraints: 26225
161.17/161.76 c #Conflicts: 793000 | #Constraints: 27225
161.17/161.76 c #Conflicts: 794000 | #Constraints: 28225
161.17/161.76 c #Conflicts: 795000 | #Constraints: 29225
161.17/161.76 c #Conflicts: 796000 | #Constraints: 30225
161.17/161.76 c #Conflicts: 797000 | #Constraints: 31225
161.17/161.76 c #Conflicts: 798000 | #Constraints: 32225
161.17/161.76 c #Conflicts: 799000 | #Constraints: 33225
161.17/161.76 c #Conflicts: 800000 | #Constraints: 34225
161.17/161.76 c #Conflicts: 801000 | #Constraints: 35225
161.17/161.76 c #Conflicts: 802000 | #Constraints: 36225
161.17/161.76 c #Conflicts: 803000 | #Constraints: 37225
161.17/161.76 c #Conflicts: 804000 | #Constraints: 38225
161.17/161.76 c #Conflicts: 805000 | #Constraints: 39225
161.17/161.76 c #Conflicts: 806000 | #Constraints: 40225
161.17/161.76 c #Conflicts: 807000 | #Constraints: 41225
161.17/161.76 c #Conflicts: 808000 | #Constraints: 42225
161.17/161.76 c INPROCESSING
161.17/161.76 c GARBAGE COLLECT
161.17/161.76 c rational objective 908
164.95/165.58 c #Conflicts: 809000 | #Constraints: 25316
164.95/165.58 c #Conflicts: 810000 | #Constraints: 26316
164.95/165.58 c #Conflicts: 811000 | #Constraints: 27316
164.95/165.58 c #Conflicts: 812000 | #Constraints: 28316
164.95/165.58 c #Conflicts: 813000 | #Constraints: 29316
164.95/165.58 c #Conflicts: 814000 | #Constraints: 30316
164.95/165.58 c #Conflicts: 815000 | #Constraints: 31316
164.95/165.58 c #Conflicts: 816000 | #Constraints: 32316
164.95/165.58 c #Conflicts: 817000 | #Constraints: 33316
164.95/165.58 c #Conflicts: 818000 | #Constraints: 34316
164.95/165.58 c #Conflicts: 819000 | #Constraints: 35316
164.95/165.58 c #Conflicts: 820000 | #Constraints: 36316
164.95/165.58 c #Conflicts: 821000 | #Constraints: 37316
164.95/165.58 c #Conflicts: 822000 | #Constraints: 38316
164.95/165.58 c #Conflicts: 823000 | #Constraints: 39316
164.95/165.58 c #Conflicts: 824000 | #Constraints: 40316
164.95/165.58 c #Conflicts: 825000 | #Constraints: 41316
164.95/165.58 c #Conflicts: 826000 | #Constraints: 42316
164.95/165.58 c INPROCESSING
164.95/165.58 c GARBAGE COLLECT
164.95/165.58 c rational objective 908
169.34/169.97 c #Conflicts: 827000 | #Constraints: 25228
169.34/169.97 c #Conflicts: 828000 | #Constraints: 26228
169.34/169.97 c #Conflicts: 829000 | #Constraints: 27228
169.34/169.97 c #Conflicts: 830000 | #Constraints: 28228
169.34/169.97 c #Conflicts: 831000 | #Constraints: 29228
169.34/169.97 c #Conflicts: 832000 | #Constraints: 30228
169.34/169.97 c #Conflicts: 833000 | #Constraints: 31228
169.34/169.97 c #Conflicts: 834000 | #Constraints: 32228
169.34/169.97 c #Conflicts: 835000 | #Constraints: 33228
169.34/169.97 c #Conflicts: 836000 | #Constraints: 34228
169.34/169.97 c #Conflicts: 837000 | #Constraints: 35228
169.34/169.97 c #Conflicts: 838000 | #Constraints: 36228
169.34/169.97 c #Conflicts: 839000 | #Constraints: 37228
169.34/169.97 c #Conflicts: 840000 | #Constraints: 38228
169.34/169.97 c #Conflicts: 841000 | #Constraints: 39228
169.34/169.97 c #Conflicts: 842000 | #Constraints: 40228
169.34/169.97 c #Conflicts: 843000 | #Constraints: 41228
169.34/169.97 c #Conflicts: 844000 | #Constraints: 42228
169.34/169.97 c #Conflicts: 845000 | #Constraints: 43228
169.34/169.97 c INPROCESSING
169.34/169.97 c GARBAGE COLLECT
169.34/169.97 c rational objective 908
173.45/174.08 c #Conflicts: 846000 | #Constraints: 25937
173.45/174.08 c #Conflicts: 847000 | #Constraints: 26937
173.45/174.08 c #Conflicts: 848000 | #Constraints: 27937
173.45/174.08 c #Conflicts: 849000 | #Constraints: 28937
173.45/174.08 c #Conflicts: 850000 | #Constraints: 29937
173.45/174.08 c #Conflicts: 851000 | #Constraints: 30937
173.45/174.08 c #Conflicts: 852000 | #Constraints: 31937
173.45/174.08 c #Conflicts: 853000 | #Constraints: 32937
173.45/174.08 c #Conflicts: 854000 | #Constraints: 33937
173.45/174.08 c #Conflicts: 855000 | #Constraints: 34937
173.45/174.08 c #Conflicts: 856000 | #Constraints: 35937
173.45/174.08 c #Conflicts: 857000 | #Constraints: 36937
173.45/174.08 c #Conflicts: 858000 | #Constraints: 37937
173.45/174.08 c #Conflicts: 859000 | #Constraints: 38937
173.45/174.08 c #Conflicts: 860000 | #Constraints: 39937
173.45/174.08 c #Conflicts: 861000 | #Constraints: 40937
173.45/174.08 c #Conflicts: 862000 | #Constraints: 41937
173.45/174.08 c #Conflicts: 863000 | #Constraints: 42937
173.45/174.08 c #Conflicts: 864000 | #Constraints: 43937
173.45/174.08 c INPROCESSING
173.45/174.08 c GARBAGE COLLECT
173.45/174.08 c rational objective 908
177.62/178.22 c #Conflicts: 865000 | #Constraints: 26424
177.62/178.22 c #Conflicts: 866000 | #Constraints: 27424
177.62/178.22 c #Conflicts: 867000 | #Constraints: 28424
177.62/178.22 c #Conflicts: 868000 | #Constraints: 29424
177.62/178.22 c #Conflicts: 869000 | #Constraints: 30424
177.62/178.22 c #Conflicts: 870000 | #Constraints: 31424
177.62/178.22 c #Conflicts: 871000 | #Constraints: 32424
177.62/178.22 c #Conflicts: 872000 | #Constraints: 33424
177.62/178.22 c #Conflicts: 873000 | #Constraints: 34424
177.62/178.22 c #Conflicts: 874000 | #Constraints: 35424
177.62/178.22 c #Conflicts: 875000 | #Constraints: 36424
177.62/178.22 c #Conflicts: 876000 | #Constraints: 37424
177.62/178.22 c #Conflicts: 877000 | #Constraints: 38424
177.62/178.22 c #Conflicts: 878000 | #Constraints: 39424
177.62/178.22 c #Conflicts: 879000 | #Constraints: 40424
177.62/178.22 c #Conflicts: 880000 | #Constraints: 41424
177.62/178.22 c #Conflicts: 881000 | #Constraints: 42424
177.62/178.22 c #Conflicts: 882000 | #Constraints: 43424
177.62/178.22 c INPROCESSING
177.62/178.22 c GARBAGE COLLECT
177.62/178.22 c rational objective 908
181.71/182.37 c #Conflicts: 883000 | #Constraints: 25721
181.71/182.37 c #Conflicts: 884000 | #Constraints: 26721
181.71/182.37 c #Conflicts: 885000 | #Constraints: 27721
181.71/182.37 c #Conflicts: 886000 | #Constraints: 28721
181.71/182.37 c #Conflicts: 887000 | #Constraints: 29721
181.71/182.37 c #Conflicts: 888000 | #Constraints: 30721
181.71/182.37 c #Conflicts: 889000 | #Constraints: 31721
181.71/182.37 c #Conflicts: 890000 | #Constraints: 32721
181.71/182.37 c #Conflicts: 891000 | #Constraints: 33721
181.71/182.37 c #Conflicts: 892000 | #Constraints: 34721
181.71/182.37 c #Conflicts: 893000 | #Constraints: 35721
181.71/182.37 c #Conflicts: 894000 | #Constraints: 36721
181.71/182.37 c #Conflicts: 895000 | #Constraints: 37721
181.71/182.37 c #Conflicts: 896000 | #Constraints: 38721
181.71/182.37 c #Conflicts: 897000 | #Constraints: 39721
181.71/182.37 c #Conflicts: 898000 | #Constraints: 40721
181.71/182.37 c #Conflicts: 899000 | #Constraints: 41721
181.71/182.37 c #Conflicts: 900000 | #Constraints: 42721
181.71/182.37 c #Conflicts: 901000 | #Constraints: 43721
181.71/182.37 c #Conflicts: 902000 | #Constraints: 44721
181.71/182.38 c INPROCESSING
181.71/182.38 c GARBAGE COLLECT
181.71/182.38 c rational objective 908
186.30/186.92 c #Conflicts: 903000 | #Constraints: 26842
186.30/186.92 c #Conflicts: 904000 | #Constraints: 27842
186.30/186.92 c #Conflicts: 905000 | #Constraints: 28842
186.30/186.92 c #Conflicts: 906000 | #Constraints: 29842
186.30/186.92 c #Conflicts: 907000 | #Constraints: 30842
186.30/186.92 c #Conflicts: 908000 | #Constraints: 31842
186.30/186.92 c #Conflicts: 909000 | #Constraints: 32842
186.30/186.92 c #Conflicts: 910000 | #Constraints: 33842
186.30/186.92 c #Conflicts: 911000 | #Constraints: 34842
186.30/186.92 c #Conflicts: 912000 | #Constraints: 35842
186.30/186.92 c #Conflicts: 913000 | #Constraints: 36842
186.30/186.92 c #Conflicts: 914000 | #Constraints: 37842
186.30/186.92 c #Conflicts: 915000 | #Constraints: 38842
186.30/186.92 c #Conflicts: 916000 | #Constraints: 39842
186.30/186.92 c #Conflicts: 917000 | #Constraints: 40842
186.30/186.92 c #Conflicts: 918000 | #Constraints: 41842
186.30/186.92 c #Conflicts: 919000 | #Constraints: 42842
186.30/186.92 c #Conflicts: 920000 | #Constraints: 43842
186.30/186.92 c #Conflicts: 921000 | #Constraints: 44842
186.30/186.92 c INPROCESSING
186.30/186.92 c GARBAGE COLLECT
186.30/186.92 c rational objective 908
191.18/191.84 c #Conflicts: 922000 | #Constraints: 26738
191.18/191.84 c #Conflicts: 923000 | #Constraints: 27738
191.18/191.84 c #Conflicts: 924000 | #Constraints: 28738
191.18/191.84 c #Conflicts: 925000 | #Constraints: 29738
191.18/191.84 c #Conflicts: 926000 | #Constraints: 30738
191.18/191.84 c #Conflicts: 927000 | #Constraints: 31738
191.18/191.84 c #Conflicts: 928000 | #Constraints: 32738
191.18/191.84 c #Conflicts: 929000 | #Constraints: 33738
191.18/191.84 c #Conflicts: 930000 | #Constraints: 34738
191.18/191.84 c #Conflicts: 931000 | #Constraints: 35738
191.18/191.84 c #Conflicts: 932000 | #Constraints: 36738
191.18/191.84 c #Conflicts: 933000 | #Constraints: 37738
191.18/191.84 c #Conflicts: 934000 | #Constraints: 38738
191.18/191.84 c #Conflicts: 935000 | #Constraints: 39738
191.18/191.84 c #Conflicts: 936000 | #Constraints: 40738
191.18/191.84 c #Conflicts: 937000 | #Constraints: 41738
191.18/191.84 c #Conflicts: 938000 | #Constraints: 42738
191.18/191.84 c #Conflicts: 939000 | #Constraints: 43738
191.18/191.84 c #Conflicts: 940000 | #Constraints: 44738
191.18/191.84 c INPROCESSING
191.18/191.84 c GARBAGE COLLECT
191.18/191.84 c rational objective 908
195.48/196.14 c #Conflicts: 941000 | #Constraints: 26434
195.48/196.14 c #Conflicts: 942000 | #Constraints: 27434
195.48/196.14 c #Conflicts: 943000 | #Constraints: 28434
195.48/196.14 c #Conflicts: 944000 | #Constraints: 29434
195.48/196.14 c #Conflicts: 945000 | #Constraints: 30434
195.48/196.14 c #Conflicts: 946000 | #Constraints: 31434
195.48/196.14 c #Conflicts: 947000 | #Constraints: 32434
195.48/196.14 c #Conflicts: 948000 | #Constraints: 33434
195.48/196.14 c #Conflicts: 949000 | #Constraints: 34434
195.48/196.14 c #Conflicts: 950000 | #Constraints: 35434
195.48/196.14 c #Conflicts: 951000 | #Constraints: 36434
195.48/196.14 c #Conflicts: 952000 | #Constraints: 37434
195.48/196.14 c #Conflicts: 953000 | #Constraints: 38434
195.48/196.14 c #Conflicts: 954000 | #Constraints: 39434
195.48/196.14 c #Conflicts: 955000 | #Constraints: 40434
195.48/196.14 c #Conflicts: 956000 | #Constraints: 41434
195.48/196.14 c #Conflicts: 957000 | #Constraints: 42434
195.48/196.14 c #Conflicts: 958000 | #Constraints: 43434
195.48/196.14 c #Conflicts: 959000 | #Constraints: 44434
195.48/196.14 c #Conflicts: 960000 | #Constraints: 45434
195.48/196.14 c INPROCESSING
195.48/196.14 c GARBAGE COLLECT
195.48/196.14 c rational objective 908
199.96/200.60 c #Conflicts: 961000 | #Constraints: 26934
199.96/200.60 c #Conflicts: 962000 | #Constraints: 27934
199.96/200.60 c #Conflicts: 963000 | #Constraints: 28934
199.96/200.60 c #Conflicts: 964000 | #Constraints: 29934
199.96/200.60 c #Conflicts: 965000 | #Constraints: 30934
199.96/200.60 c #Conflicts: 966000 | #Constraints: 31934
199.96/200.60 c #Conflicts: 967000 | #Constraints: 32934
199.96/200.60 c #Conflicts: 968000 | #Constraints: 33934
199.96/200.60 c #Conflicts: 969000 | #Constraints: 34934
199.96/200.60 c #Conflicts: 970000 | #Constraints: 35934
199.96/200.60 c #Conflicts: 971000 | #Constraints: 36934
199.96/200.60 c #Conflicts: 972000 | #Constraints: 37934
199.96/200.60 c #Conflicts: 973000 | #Constraints: 38934
199.96/200.60 c #Conflicts: 974000 | #Constraints: 39934
199.96/200.60 c #Conflicts: 975000 | #Constraints: 40934
199.96/200.60 c #Conflicts: 976000 | #Constraints: 41934
199.96/200.60 c #Conflicts: 977000 | #Constraints: 42934
199.96/200.60 c #Conflicts: 978000 | #Constraints: 43934
199.96/200.60 c #Conflicts: 979000 | #Constraints: 44934
199.96/200.60 c #Conflicts: 980000 | #Constraints: 45934
199.96/200.60 c INPROCESSING
199.96/200.60 c GARBAGE COLLECT
199.96/200.60 c rational objective 908
204.25/205.00 c #Conflicts: 981000 | #Constraints: 27230
204.25/205.00 c #Conflicts: 982000 | #Constraints: 28230
204.25/205.00 c #Conflicts: 983000 | #Constraints: 29230
204.25/205.00 c #Conflicts: 984000 | #Constraints: 30230
204.25/205.00 c #Conflicts: 985000 | #Constraints: 31230
204.25/205.00 c #Conflicts: 986000 | #Constraints: 32230
204.25/205.00 c #Conflicts: 987000 | #Constraints: 33230
204.25/205.00 c #Conflicts: 988000 | #Constraints: 34230
204.25/205.00 c #Conflicts: 989000 | #Constraints: 35230
204.25/205.00 c #Conflicts: 990000 | #Constraints: 36230
204.25/205.00 c #Conflicts: 991000 | #Constraints: 37230
204.25/205.00 c #Conflicts: 992000 | #Constraints: 38230
204.25/205.00 c #Conflicts: 993000 | #Constraints: 39230
204.25/205.00 c #Conflicts: 994000 | #Constraints: 40230
204.25/205.00 c #Conflicts: 995000 | #Constraints: 41230
204.25/205.00 c #Conflicts: 996000 | #Constraints: 42230
204.25/205.00 c #Conflicts: 997000 | #Constraints: 43230
204.25/205.00 c #Conflicts: 998000 | #Constraints: 44230
204.25/205.00 c #Conflicts: 999000 | #Constraints: 45230
204.25/205.00 c #Conflicts: 1000000 | #Constraints: 46230
204.25/205.00 c INPROCESSING
204.25/205.00 c GARBAGE COLLECT
204.25/205.00 c rational objective 908
210.14/210.86 c #Conflicts: 1001000 | #Constraints: 27342
210.14/210.86 c #Conflicts: 1002000 | #Constraints: 28342
210.14/210.86 c #Conflicts: 1003000 | #Constraints: 29342
210.14/210.86 c #Conflicts: 1004000 | #Constraints: 30342
210.14/210.86 c #Conflicts: 1005000 | #Constraints: 31342
210.14/210.86 c #Conflicts: 1006000 | #Constraints: 32342
210.14/210.86 c #Conflicts: 1007000 | #Constraints: 33342
210.14/210.86 c #Conflicts: 1008000 | #Constraints: 34342
210.14/210.86 c #Conflicts: 1009000 | #Constraints: 35342
210.14/210.86 c #Conflicts: 1010000 | #Constraints: 36342
210.14/210.86 c #Conflicts: 1011000 | #Constraints: 37342
210.14/210.86 c #Conflicts: 1012000 | #Constraints: 38342
210.14/210.86 c #Conflicts: 1013000 | #Constraints: 39342
210.14/210.86 c #Conflicts: 1014000 | #Constraints: 40342
210.14/210.86 c #Conflicts: 1015000 | #Constraints: 41342
210.14/210.86 c #Conflicts: 1016000 | #Constraints: 42342
210.14/210.86 c #Conflicts: 1017000 | #Constraints: 43342
210.14/210.86 c #Conflicts: 1018000 | #Constraints: 44342
210.14/210.86 c #Conflicts: 1019000 | #Constraints: 45342
210.14/210.86 c #Conflicts: 1020000 | #Constraints: 46342
210.14/210.86 c INPROCESSING
210.14/210.86 c GARBAGE COLLECT
210.14/210.86 c rational objective 908
215.52/216.20 c #Conflicts: 1021000 | #Constraints: 27247
215.52/216.20 c #Conflicts: 1022000 | #Constraints: 28247
215.52/216.20 c #Conflicts: 1023000 | #Constraints: 29247
215.52/216.20 c #Conflicts: 1024000 | #Constraints: 30247
215.52/216.20 c #Conflicts: 1025000 | #Constraints: 31247
215.52/216.20 c #Conflicts: 1026000 | #Constraints: 32247
215.52/216.20 c #Conflicts: 1027000 | #Constraints: 33247
215.52/216.20 c #Conflicts: 1028000 | #Constraints: 34247
215.52/216.20 c #Conflicts: 1029000 | #Constraints: 35247
215.52/216.20 c #Conflicts: 1030000 | #Constraints: 36247
215.52/216.20 c #Conflicts: 1031000 | #Constraints: 37247
215.52/216.20 c #Conflicts: 1032000 | #Constraints: 38247
215.52/216.20 c #Conflicts: 1033000 | #Constraints: 39247
215.52/216.20 c #Conflicts: 1034000 | #Constraints: 40247
215.52/216.20 c #Conflicts: 1035000 | #Constraints: 41247
215.52/216.20 c #Conflicts: 1036000 | #Constraints: 42247
215.52/216.20 c #Conflicts: 1037000 | #Constraints: 43247
215.52/216.20 c #Conflicts: 1038000 | #Constraints: 44247
215.52/216.20 c #Conflicts: 1039000 | #Constraints: 45247
215.52/216.20 c #Conflicts: 1040000 | #Constraints: 46247
215.52/216.20 c #Conflicts: 1041000 | #Constraints: 47247
215.52/216.20 c INPROCESSING
215.52/216.20 c GARBAGE COLLECT
215.52/216.20 c rational objective 908
220.71/221.46 c #Conflicts: 1042000 | #Constraints: 27954
220.71/221.46 c #Conflicts: 1043000 | #Constraints: 28954
220.71/221.46 c #Conflicts: 1044000 | #Constraints: 29954
220.71/221.46 c #Conflicts: 1045000 | #Constraints: 30954
220.71/221.46 c #Conflicts: 1046000 | #Constraints: 31954
220.71/221.46 c #Conflicts: 1047000 | #Constraints: 32954
220.71/221.46 c #Conflicts: 1048000 | #Constraints: 33954
220.71/221.46 c #Conflicts: 1049000 | #Constraints: 34954
220.71/221.46 c #Conflicts: 1050000 | #Constraints: 35954
220.71/221.46 c #Conflicts: 1051000 | #Constraints: 36954
220.71/221.46 c #Conflicts: 1052000 | #Constraints: 37954
220.71/221.46 c #Conflicts: 1053000 | #Constraints: 38954
220.71/221.46 c #Conflicts: 1054000 | #Constraints: 39954
220.71/221.46 c #Conflicts: 1055000 | #Constraints: 40954
220.71/221.46 c #Conflicts: 1056000 | #Constraints: 41954
220.71/221.46 c #Conflicts: 1057000 | #Constraints: 42954
220.71/221.46 c #Conflicts: 1058000 | #Constraints: 43954
220.71/221.46 c #Conflicts: 1059000 | #Constraints: 44954
220.71/221.46 c #Conflicts: 1060000 | #Constraints: 45954
220.71/221.46 c #Conflicts: 1061000 | #Constraints: 46954
220.71/221.46 c #Conflicts: 1062000 | #Constraints: 47954
220.71/221.46 c INPROCESSING
220.71/221.46 c GARBAGE COLLECT
220.71/221.46 c rational objective 908
225.19/225.95 c #Conflicts: 1063000 | #Constraints: 28450
225.19/225.95 c #Conflicts: 1064000 | #Constraints: 29450
225.19/225.95 c #Conflicts: 1065000 | #Constraints: 30450
225.19/225.95 c #Conflicts: 1066000 | #Constraints: 31450
225.19/225.95 c #Conflicts: 1067000 | #Constraints: 32450
225.19/225.95 c #Conflicts: 1068000 | #Constraints: 33450
225.19/225.95 c #Conflicts: 1069000 | #Constraints: 34450
225.19/225.95 c #Conflicts: 1070000 | #Constraints: 35450
225.19/225.95 c #Conflicts: 1071000 | #Constraints: 36450
225.19/225.95 c #Conflicts: 1072000 | #Constraints: 37450
225.19/225.95 c #Conflicts: 1073000 | #Constraints: 38450
225.19/225.95 c #Conflicts: 1074000 | #Constraints: 39450
225.19/225.95 c #Conflicts: 1075000 | #Constraints: 40450
225.19/225.95 c #Conflicts: 1076000 | #Constraints: 41450
225.19/225.95 c #Conflicts: 1077000 | #Constraints: 42450
225.19/225.95 c #Conflicts: 1078000 | #Constraints: 43450
225.19/225.95 c #Conflicts: 1079000 | #Constraints: 44450
225.19/225.95 c #Conflicts: 1080000 | #Constraints: 45450
225.19/225.95 c #Conflicts: 1081000 | #Constraints: 46450
225.19/225.95 c #Conflicts: 1082000 | #Constraints: 47450
225.19/225.95 c INPROCESSING
225.19/225.95 c GARBAGE COLLECT
225.19/225.95 c rational objective 908
231.18/231.97 c #Conflicts: 1083000 | #Constraints: 27733
231.18/231.97 c #Conflicts: 1084000 | #Constraints: 28733
231.18/231.97 c #Conflicts: 1085000 | #Constraints: 29733
231.18/231.97 c #Conflicts: 1086000 | #Constraints: 30733
231.18/231.97 c #Conflicts: 1087000 | #Constraints: 31733
231.18/231.97 c #Conflicts: 1088000 | #Constraints: 32733
231.18/231.97 c #Conflicts: 1089000 | #Constraints: 33733
231.18/231.97 c #Conflicts: 1090000 | #Constraints: 34733
231.18/231.97 c #Conflicts: 1091000 | #Constraints: 35733
231.18/231.97 c #Conflicts: 1092000 | #Constraints: 36733
231.18/231.97 c #Conflicts: 1093000 | #Constraints: 37733
231.18/231.97 c #Conflicts: 1094000 | #Constraints: 38733
231.18/231.97 c #Conflicts: 1095000 | #Constraints: 39733
231.18/231.97 c #Conflicts: 1096000 | #Constraints: 40733
231.18/231.97 c #Conflicts: 1097000 | #Constraints: 41733
231.18/231.97 c #Conflicts: 1098000 | #Constraints: 42733
231.18/231.97 c #Conflicts: 1099000 | #Constraints: 43733
231.18/231.97 c #Conflicts: 1100000 | #Constraints: 44733
231.18/231.97 c #Conflicts: 1101000 | #Constraints: 45733
231.18/231.97 c #Conflicts: 1102000 | #Constraints: 46733
231.18/231.97 c #Conflicts: 1103000 | #Constraints: 47733
231.18/231.97 c #Conflicts: 1104000 | #Constraints: 48733
231.18/231.97 c INPROCESSING
231.18/231.97 c GARBAGE COLLECT
231.18/231.97 c rational objective 908
235.96/236.79 c #Conflicts: 1105000 | #Constraints: 28842
235.96/236.79 c #Conflicts: 1106000 | #Constraints: 29842
235.96/236.79 c #Conflicts: 1107000 | #Constraints: 30842
235.96/236.79 c #Conflicts: 1108000 | #Constraints: 31842
235.96/236.79 c #Conflicts: 1109000 | #Constraints: 32842
235.96/236.79 c #Conflicts: 1110000 | #Constraints: 33842
235.96/236.79 c #Conflicts: 1111000 | #Constraints: 34842
235.96/236.79 c #Conflicts: 1112000 | #Constraints: 35842
235.96/236.79 c #Conflicts: 1113000 | #Constraints: 36842
235.96/236.79 c #Conflicts: 1114000 | #Constraints: 37842
235.96/236.79 c #Conflicts: 1115000 | #Constraints: 38842
235.96/236.79 c #Conflicts: 1116000 | #Constraints: 39842
235.96/236.79 c #Conflicts: 1117000 | #Constraints: 40842
235.96/236.79 c #Conflicts: 1118000 | #Constraints: 41842
235.96/236.79 c #Conflicts: 1119000 | #Constraints: 42842
235.96/236.79 c #Conflicts: 1120000 | #Constraints: 43842
235.96/236.79 c #Conflicts: 1121000 | #Constraints: 44842
235.96/236.79 c #Conflicts: 1122000 | #Constraints: 45842
235.96/236.79 c #Conflicts: 1123000 | #Constraints: 46842
235.96/236.79 c #Conflicts: 1124000 | #Constraints: 47842
235.96/236.79 c #Conflicts: 1125000 | #Constraints: 48842
235.96/236.79 c INPROCESSING
235.96/236.79 c GARBAGE COLLECT
235.96/236.79 c rational objective 908
240.65/241.49 c #Conflicts: 1126000 | #Constraints: 28755
240.65/241.49 c #Conflicts: 1127000 | #Constraints: 29755
240.65/241.49 c #Conflicts: 1128000 | #Constraints: 30755
240.65/241.49 c #Conflicts: 1129000 | #Constraints: 31755
240.65/241.49 c #Conflicts: 1130000 | #Constraints: 32755
240.65/241.49 c #Conflicts: 1131000 | #Constraints: 33755
240.65/241.49 c #Conflicts: 1132000 | #Constraints: 34755
240.65/241.49 c #Conflicts: 1133000 | #Constraints: 35755
240.65/241.49 c #Conflicts: 1134000 | #Constraints: 36755
240.65/241.49 c #Conflicts: 1135000 | #Constraints: 37755
240.65/241.49 c #Conflicts: 1136000 | #Constraints: 38755
240.65/241.49 c #Conflicts: 1137000 | #Constraints: 39755
240.65/241.49 c #Conflicts: 1138000 | #Constraints: 40755
240.65/241.49 c #Conflicts: 1139000 | #Constraints: 41755
240.65/241.49 c #Conflicts: 1140000 | #Constraints: 42755
240.65/241.49 c #Conflicts: 1141000 | #Constraints: 43755
240.65/241.49 c #Conflicts: 1142000 | #Constraints: 44755
240.65/241.49 c #Conflicts: 1143000 | #Constraints: 45755
240.65/241.49 c #Conflicts: 1144000 | #Constraints: 46755
240.65/241.49 c #Conflicts: 1145000 | #Constraints: 47755
240.65/241.49 c #Conflicts: 1146000 | #Constraints: 48755
240.65/241.49 c INPROCESSING
240.65/241.49 c GARBAGE COLLECT
240.65/241.49 c rational objective 908
245.74/246.50 c #Conflicts: 1147000 | #Constraints: 28442
245.74/246.50 c #Conflicts: 1148000 | #Constraints: 29442
245.74/246.50 c #Conflicts: 1149000 | #Constraints: 30442
245.74/246.50 c #Conflicts: 1150000 | #Constraints: 31442
245.74/246.50 c #Conflicts: 1151000 | #Constraints: 32442
245.74/246.50 c #Conflicts: 1152000 | #Constraints: 33442
245.74/246.50 c #Conflicts: 1153000 | #Constraints: 34442
245.74/246.50 c #Conflicts: 1154000 | #Constraints: 35442
245.74/246.50 c #Conflicts: 1155000 | #Constraints: 36442
245.74/246.50 c #Conflicts: 1156000 | #Constraints: 37442
245.74/246.50 c #Conflicts: 1157000 | #Constraints: 38442
245.74/246.50 c #Conflicts: 1158000 | #Constraints: 39442
245.74/246.50 c #Conflicts: 1159000 | #Constraints: 40442
245.74/246.50 c #Conflicts: 1160000 | #Constraints: 41442
245.74/246.50 c #Conflicts: 1161000 | #Constraints: 42442
245.74/246.50 c #Conflicts: 1162000 | #Constraints: 43442
245.74/246.50 c #Conflicts: 1163000 | #Constraints: 44442
245.74/246.50 c #Conflicts: 1164000 | #Constraints: 45442
245.74/246.50 c #Conflicts: 1165000 | #Constraints: 46442
245.74/246.50 c #Conflicts: 1166000 | #Constraints: 47442
245.74/246.50 c #Conflicts: 1167000 | #Constraints: 48442
245.74/246.50 c #Conflicts: 1168000 | #Constraints: 49442
245.74/246.50 c INPROCESSING
245.74/246.50 c GARBAGE COLLECT
245.74/246.50 c rational objective 908
251.42/252.26 c #Conflicts: 1169000 | #Constraints: 28933
251.42/252.26 c #Conflicts: 1170000 | #Constraints: 29933
251.42/252.26 c #Conflicts: 1171000 | #Constraints: 30933
251.42/252.26 c #Conflicts: 1172000 | #Constraints: 31933
251.42/252.26 c #Conflicts: 1173000 | #Constraints: 32933
251.42/252.26 c #Conflicts: 1174000 | #Constraints: 33933
251.42/252.26 c #Conflicts: 1175000 | #Constraints: 34933
251.42/252.26 c #Conflicts: 1176000 | #Constraints: 35933
251.42/252.26 c #Conflicts: 1177000 | #Constraints: 36933
251.42/252.26 c #Conflicts: 1178000 | #Constraints: 37933
251.42/252.26 c #Conflicts: 1179000 | #Constraints: 38933
251.42/252.26 c #Conflicts: 1180000 | #Constraints: 39933
251.42/252.26 c #Conflicts: 1181000 | #Constraints: 40933
251.42/252.26 c #Conflicts: 1182000 | #Constraints: 41933
251.42/252.26 c #Conflicts: 1183000 | #Constraints: 42933
251.42/252.26 c #Conflicts: 1184000 | #Constraints: 43933
251.42/252.26 c #Conflicts: 1185000 | #Constraints: 44933
251.42/252.26 c #Conflicts: 1186000 | #Constraints: 45933
251.42/252.26 c #Conflicts: 1187000 | #Constraints: 46933
251.42/252.26 c #Conflicts: 1188000 | #Constraints: 47933
251.42/252.26 c #Conflicts: 1189000 | #Constraints: 48933
251.42/252.26 c #Conflicts: 1190000 | #Constraints: 49933
251.42/252.26 c INPROCESSING
251.42/252.26 c GARBAGE COLLECT
251.42/252.26 c rational objective 908
256.81/257.67 c #Conflicts: 1191000 | #Constraints: 29237
256.81/257.67 c #Conflicts: 1192000 | #Constraints: 30237
256.81/257.67 c #Conflicts: 1193000 | #Constraints: 31237
256.81/257.67 c #Conflicts: 1194000 | #Constraints: 32237
256.81/257.67 c #Conflicts: 1195000 | #Constraints: 33237
256.81/257.67 c #Conflicts: 1196000 | #Constraints: 34237
256.81/257.67 c #Conflicts: 1197000 | #Constraints: 35237
256.81/257.67 c #Conflicts: 1198000 | #Constraints: 36237
256.81/257.67 c #Conflicts: 1199000 | #Constraints: 37237
256.81/257.67 c #Conflicts: 1200000 | #Constraints: 38237
256.81/257.67 c #Conflicts: 1201000 | #Constraints: 39237
256.81/257.67 c #Conflicts: 1202000 | #Constraints: 40237
256.81/257.67 c #Conflicts: 1203000 | #Constraints: 41237
256.81/257.67 c #Conflicts: 1204000 | #Constraints: 42237
256.81/257.67 c #Conflicts: 1205000 | #Constraints: 43237
256.81/257.67 c #Conflicts: 1206000 | #Constraints: 44237
256.81/257.67 c #Conflicts: 1207000 | #Constraints: 45237
256.81/257.67 c #Conflicts: 1208000 | #Constraints: 46237
256.81/257.67 c #Conflicts: 1209000 | #Constraints: 47237
256.81/257.67 c #Conflicts: 1210000 | #Constraints: 48237
256.81/257.67 c #Conflicts: 1211000 | #Constraints: 49237
256.81/257.67 c #Conflicts: 1212000 | #Constraints: 50237
256.81/257.67 c INPROCESSING
256.81/257.67 c GARBAGE COLLECT
256.81/257.67 c rational objective 908
261.99/262.81 c #Conflicts: 1213000 | #Constraints: 29348
261.99/262.81 c #Conflicts: 1214000 | #Constraints: 30348
261.99/262.81 c #Conflicts: 1215000 | #Constraints: 31348
261.99/262.81 c #Conflicts: 1216000 | #Constraints: 32348
261.99/262.81 c #Conflicts: 1217000 | #Constraints: 33348
261.99/262.81 c #Conflicts: 1218000 | #Constraints: 34348
261.99/262.81 c #Conflicts: 1219000 | #Constraints: 35348
261.99/262.81 c #Conflicts: 1220000 | #Constraints: 36348
261.99/262.81 c #Conflicts: 1221000 | #Constraints: 37348
261.99/262.81 c #Conflicts: 1222000 | #Constraints: 38348
261.99/262.81 c #Conflicts: 1223000 | #Constraints: 39348
261.99/262.81 c #Conflicts: 1224000 | #Constraints: 40348
261.99/262.81 c #Conflicts: 1225000 | #Constraints: 41348
261.99/262.81 c #Conflicts: 1226000 | #Constraints: 42348
261.99/262.81 c #Conflicts: 1227000 | #Constraints: 43348
261.99/262.81 c #Conflicts: 1228000 | #Constraints: 44348
261.99/262.81 c #Conflicts: 1229000 | #Constraints: 45348
261.99/262.81 c #Conflicts: 1230000 | #Constraints: 46348
261.99/262.81 c #Conflicts: 1231000 | #Constraints: 47348
261.99/262.81 c #Conflicts: 1232000 | #Constraints: 48348
261.99/262.81 c #Conflicts: 1233000 | #Constraints: 49348
261.99/262.81 c #Conflicts: 1234000 | #Constraints: 50348
261.99/262.81 c INPROCESSING
261.99/262.81 c GARBAGE COLLECT
261.99/262.81 c rational objective 908
267.48/268.33 c #Conflicts: 1235000 | #Constraints: 29244
267.48/268.33 c #Conflicts: 1236000 | #Constraints: 30244
267.48/268.33 c #Conflicts: 1237000 | #Constraints: 31244
267.48/268.33 c #Conflicts: 1238000 | #Constraints: 32244
267.48/268.33 c #Conflicts: 1239000 | #Constraints: 33244
267.48/268.33 c #Conflicts: 1240000 | #Constraints: 34244
267.48/268.33 c #Conflicts: 1241000 | #Constraints: 35244
267.48/268.33 c #Conflicts: 1242000 | #Constraints: 36244
267.48/268.33 c #Conflicts: 1243000 | #Constraints: 37244
267.48/268.33 c #Conflicts: 1244000 | #Constraints: 38244
267.48/268.33 c #Conflicts: 1245000 | #Constraints: 39244
267.48/268.33 c #Conflicts: 1246000 | #Constraints: 40244
267.48/268.33 c #Conflicts: 1247000 | #Constraints: 41244
267.48/268.33 c #Conflicts: 1248000 | #Constraints: 42244
267.48/268.33 c #Conflicts: 1249000 | #Constraints: 43244
267.48/268.33 c #Conflicts: 1250000 | #Constraints: 44244
267.48/268.33 c #Conflicts: 1251000 | #Constraints: 45244
267.48/268.33 c #Conflicts: 1252000 | #Constraints: 46244
267.48/268.33 c #Conflicts: 1253000 | #Constraints: 47244
267.48/268.33 c #Conflicts: 1254000 | #Constraints: 48244
267.48/268.33 c #Conflicts: 1255000 | #Constraints: 49244
267.48/268.33 c #Conflicts: 1256000 | #Constraints: 50244
267.48/268.33 c #Conflicts: 1257000 | #Constraints: 51244
267.48/268.33 c INPROCESSING
267.48/268.33 c GARBAGE COLLECT
267.48/268.33 c rational objective 908
273.07/273.96 c #Conflicts: 1258000 | #Constraints: 29940
273.07/273.96 c #Conflicts: 1259000 | #Constraints: 30940
273.07/273.96 c #Conflicts: 1260000 | #Constraints: 31940
273.07/273.96 c #Conflicts: 1261000 | #Constraints: 32940
273.07/273.96 c #Conflicts: 1262000 | #Constraints: 33940
273.07/273.96 c #Conflicts: 1263000 | #Constraints: 34940
273.07/273.96 c #Conflicts: 1264000 | #Constraints: 35940
273.07/273.96 c #Conflicts: 1265000 | #Constraints: 36940
273.07/273.96 c #Conflicts: 1266000 | #Constraints: 37940
273.07/273.96 c #Conflicts: 1267000 | #Constraints: 38940
273.07/273.96 c #Conflicts: 1268000 | #Constraints: 39940
273.07/273.96 c #Conflicts: 1269000 | #Constraints: 40940
273.07/273.96 c #Conflicts: 1270000 | #Constraints: 41940
273.07/273.96 c #Conflicts: 1271000 | #Constraints: 42940
273.07/273.96 c #Conflicts: 1272000 | #Constraints: 43940
273.07/273.96 c #Conflicts: 1273000 | #Constraints: 44940
273.07/273.96 c #Conflicts: 1274000 | #Constraints: 45940
273.07/273.96 c #Conflicts: 1275000 | #Constraints: 46940
273.07/273.96 c #Conflicts: 1276000 | #Constraints: 47940
273.07/273.96 c #Conflicts: 1277000 | #Constraints: 48940
273.07/273.96 c #Conflicts: 1278000 | #Constraints: 49940
273.07/273.96 c #Conflicts: 1279000 | #Constraints: 50940
273.07/273.96 c #Conflicts: 1280000 | #Constraints: 51940
273.07/273.96 c INPROCESSING
273.07/273.96 c GARBAGE COLLECT
273.07/273.96 c rational objective 908
278.55/279.47 c #Conflicts: 1281000 | #Constraints: 30448
278.55/279.47 c #Conflicts: 1282000 | #Constraints: 31448
278.55/279.47 c #Conflicts: 1283000 | #Constraints: 32448
278.55/279.47 c #Conflicts: 1284000 | #Constraints: 33448
278.55/279.47 c #Conflicts: 1285000 | #Constraints: 34448
278.55/279.47 c #Conflicts: 1286000 | #Constraints: 35448
278.55/279.47 c #Conflicts: 1287000 | #Constraints: 36448
278.55/279.47 c #Conflicts: 1288000 | #Constraints: 37448
278.55/279.47 c #Conflicts: 1289000 | #Constraints: 38448
278.55/279.47 c #Conflicts: 1290000 | #Constraints: 39448
278.55/279.47 c #Conflicts: 1291000 | #Constraints: 40448
278.55/279.47 c #Conflicts: 1292000 | #Constraints: 41448
278.55/279.47 c #Conflicts: 1293000 | #Constraints: 42448
278.55/279.47 c #Conflicts: 1294000 | #Constraints: 43448
278.55/279.47 c #Conflicts: 1295000 | #Constraints: 44448
278.55/279.47 c #Conflicts: 1296000 | #Constraints: 45448
278.55/279.47 c #Conflicts: 1297000 | #Constraints: 46448
278.55/279.47 c #Conflicts: 1298000 | #Constraints: 47448
278.55/279.47 c #Conflicts: 1299000 | #Constraints: 48448
278.55/279.47 c #Conflicts: 1300000 | #Constraints: 49448
278.55/279.47 c #Conflicts: 1301000 | #Constraints: 50448
278.55/279.47 c #Conflicts: 1302000 | #Constraints: 51448
278.55/279.47 c INPROCESSING
278.55/279.47 c GARBAGE COLLECT
278.55/279.47 c rational objective 908
284.25/285.18 c #Conflicts: 1303000 | #Constraints: 29748
284.25/285.18 c #Conflicts: 1304000 | #Constraints: 30748
284.25/285.18 c #Conflicts: 1305000 | #Constraints: 31748
284.25/285.18 c #Conflicts: 1306000 | #Constraints: 32748
284.25/285.18 c #Conflicts: 1307000 | #Constraints: 33748
284.25/285.18 c #Conflicts: 1308000 | #Constraints: 34748
284.25/285.18 c #Conflicts: 1309000 | #Constraints: 35748
284.25/285.18 c #Conflicts: 1310000 | #Constraints: 36748
284.25/285.18 c #Conflicts: 1311000 | #Constraints: 37748
284.25/285.18 c #Conflicts: 1312000 | #Constraints: 38748
284.25/285.18 c #Conflicts: 1313000 | #Constraints: 39748
284.25/285.18 c #Conflicts: 1314000 | #Constraints: 40748
284.25/285.18 c #Conflicts: 1315000 | #Constraints: 41748
284.25/285.18 c #Conflicts: 1316000 | #Constraints: 42748
284.25/285.18 c #Conflicts: 1317000 | #Constraints: 43748
284.25/285.18 c #Conflicts: 1318000 | #Constraints: 44748
284.25/285.18 c #Conflicts: 1319000 | #Constraints: 45748
284.25/285.18 c #Conflicts: 1320000 | #Constraints: 46748
284.25/285.18 c #Conflicts: 1321000 | #Constraints: 47748
284.25/285.18 c #Conflicts: 1322000 | #Constraints: 48748
284.25/285.18 c #Conflicts: 1323000 | #Constraints: 49748
284.25/285.18 c #Conflicts: 1324000 | #Constraints: 50748
284.25/285.18 c #Conflicts: 1325000 | #Constraints: 51748
284.25/285.18 c #Conflicts: 1326000 | #Constraints: 52748
284.25/285.18 c INPROCESSING
284.25/285.18 c GARBAGE COLLECT
284.25/285.18 c rational objective 908
289.91/290.84 c #Conflicts: 1327000 | #Constraints: 30848
289.91/290.84 c #Conflicts: 1328000 | #Constraints: 31848
289.91/290.84 c #Conflicts: 1329000 | #Constraints: 32848
289.91/290.84 c #Conflicts: 1330000 | #Constraints: 33848
289.91/290.84 c #Conflicts: 1331000 | #Constraints: 34848
289.91/290.84 c #Conflicts: 1332000 | #Constraints: 35848
289.91/290.84 c #Conflicts: 1333000 | #Constraints: 36848
289.91/290.84 c #Conflicts: 1334000 | #Constraints: 37848
289.91/290.84 c #Conflicts: 1335000 | #Constraints: 38848
289.91/290.84 c #Conflicts: 1336000 | #Constraints: 39848
289.91/290.84 c #Conflicts: 1337000 | #Constraints: 40848
289.91/290.84 c #Conflicts: 1338000 | #Constraints: 41848
289.91/290.84 c #Conflicts: 1339000 | #Constraints: 42848
289.91/290.84 c #Conflicts: 1340000 | #Constraints: 43848
289.91/290.84 c #Conflicts: 1341000 | #Constraints: 44848
289.91/290.84 c #Conflicts: 1342000 | #Constraints: 45848
289.91/290.84 c #Conflicts: 1343000 | #Constraints: 46848
289.91/290.84 c #Conflicts: 1344000 | #Constraints: 47848
289.91/290.84 c #Conflicts: 1345000 | #Constraints: 48848
289.91/290.84 c #Conflicts: 1346000 | #Constraints: 49848
289.91/290.84 c #Conflicts: 1347000 | #Constraints: 50848
289.91/290.84 c #Conflicts: 1348000 | #Constraints: 51848
289.91/290.84 c #Conflicts: 1349000 | #Constraints: 52848
289.91/290.84 c INPROCESSING
289.91/290.84 c GARBAGE COLLECT
289.91/290.84 c rational objective 908
296.11/297.04 c #Conflicts: 1350000 | #Constraints: 30739
296.11/297.04 c #Conflicts: 1351000 | #Constraints: 31739
296.11/297.04 c #Conflicts: 1352000 | #Constraints: 32739
296.11/297.04 c #Conflicts: 1353000 | #Constraints: 33739
296.11/297.04 c #Conflicts: 1354000 | #Constraints: 34739
296.11/297.04 c #Conflicts: 1355000 | #Constraints: 35739
296.11/297.04 c #Conflicts: 1356000 | #Constraints: 36739
296.11/297.04 c #Conflicts: 1357000 | #Constraints: 37739
296.11/297.04 c #Conflicts: 1358000 | #Constraints: 38739
296.11/297.04 c #Conflicts: 1359000 | #Constraints: 39739
296.11/297.04 c #Conflicts: 1360000 | #Constraints: 40739
296.11/297.04 c #Conflicts: 1361000 | #Constraints: 41739
296.11/297.04 c #Conflicts: 1362000 | #Constraints: 42739
296.11/297.04 c #Conflicts: 1363000 | #Constraints: 43739
296.11/297.04 c #Conflicts: 1364000 | #Constraints: 44739
296.11/297.04 c #Conflicts: 1365000 | #Constraints: 45739
296.11/297.04 c #Conflicts: 1366000 | #Constraints: 46739
296.11/297.04 c #Conflicts: 1367000 | #Constraints: 47739
296.11/297.04 c #Conflicts: 1368000 | #Constraints: 48739
296.11/297.04 c #Conflicts: 1369000 | #Constraints: 49739
296.11/297.04 c #Conflicts: 1370000 | #Constraints: 50739
296.11/297.04 c #Conflicts: 1371000 | #Constraints: 51739
296.11/297.04 c #Conflicts: 1372000 | #Constraints: 52739
296.11/297.04 c INPROCESSING
296.11/297.04 c GARBAGE COLLECT
296.11/297.04 c rational objective 908
302.28/303.25 c #Conflicts: 1373000 | #Constraints: 30443
302.28/303.25 c #Conflicts: 1374000 | #Constraints: 31443
302.28/303.25 c #Conflicts: 1375000 | #Constraints: 32443
302.28/303.25 c #Conflicts: 1376000 | #Constraints: 33443
302.28/303.25 c #Conflicts: 1377000 | #Constraints: 34443
302.28/303.25 c #Conflicts: 1378000 | #Constraints: 35443
302.28/303.25 c #Conflicts: 1379000 | #Constraints: 36443
302.28/303.25 c #Conflicts: 1380000 | #Constraints: 37443
302.28/303.25 c #Conflicts: 1381000 | #Constraints: 38443
302.28/303.25 c #Conflicts: 1382000 | #Constraints: 39443
302.28/303.25 c #Conflicts: 1383000 | #Constraints: 40443
302.28/303.25 c #Conflicts: 1384000 | #Constraints: 41443
302.28/303.25 c #Conflicts: 1385000 | #Constraints: 42443
302.28/303.25 c #Conflicts: 1386000 | #Constraints: 43443
302.28/303.25 c #Conflicts: 1387000 | #Constraints: 44443
302.28/303.25 c #Conflicts: 1388000 | #Constraints: 45443
302.28/303.25 c #Conflicts: 1389000 | #Constraints: 46443
302.28/303.25 c #Conflicts: 1390000 | #Constraints: 47443
302.28/303.25 c #Conflicts: 1391000 | #Constraints: 48443
302.28/303.25 c #Conflicts: 1392000 | #Constraints: 49443
302.28/303.25 c #Conflicts: 1393000 | #Constraints: 50443
302.28/303.25 c #Conflicts: 1394000 | #Constraints: 51443
302.28/303.25 c #Conflicts: 1395000 | #Constraints: 52443
302.28/303.25 c #Conflicts: 1396000 | #Constraints: 53443
302.28/303.25 c INPROCESSING
302.28/303.25 c GARBAGE COLLECT
302.28/303.25 c rational objective 908
330.71/331.78 c #Conflicts: 1397000 | #Constraints: 30955
330.71/331.78 c #Conflicts: 1398000 | #Constraints: 31955
330.71/331.78 c #Conflicts: 1399000 | #Constraints: 32955
330.71/331.78 c #Conflicts: 1400000 | #Constraints: 33955
330.71/331.78 c #Conflicts: 1401000 | #Constraints: 34955
330.71/331.78 c #Conflicts: 1402000 | #Constraints: 35955
330.71/331.78 c #Conflicts: 1403000 | #Constraints: 36955
330.71/331.78 c #Conflicts: 1404000 | #Constraints: 37955
330.71/331.78 c #Conflicts: 1405000 | #Constraints: 38955
330.71/331.78 c #Conflicts: 1406000 | #Constraints: 39955
330.71/331.78 c #Conflicts: 1407000 | #Constraints: 40955
330.71/331.78 c #Conflicts: 1408000 | #Constraints: 41955
330.71/331.78 c #Conflicts: 1409000 | #Constraints: 42955
330.71/331.78 c #Conflicts: 1410000 | #Constraints: 43955
330.71/331.78 c #Conflicts: 1411000 | #Constraints: 44955
330.71/331.78 c #Conflicts: 1412000 | #Constraints: 45955
330.71/331.78 c #Conflicts: 1413000 | #Constraints: 46955
330.71/331.78 c #Conflicts: 1414000 | #Constraints: 47955
330.71/331.78 c #Conflicts: 1415000 | #Constraints: 48955
330.71/331.78 c #Conflicts: 1416000 | #Constraints: 49955
330.71/331.78 c #Conflicts: 1417000 | #Constraints: 50955
330.71/331.78 c #Conflicts: 1418000 | #Constraints: 51955
330.71/331.78 c #Conflicts: 1419000 | #Constraints: 52955
330.71/331.78 c #Conflicts: 1420000 | #Constraints: 53955
330.71/331.78 c #Conflicts: 1421000 | #Constraints: 54955
330.71/331.78 c #Conflicts: 1422000 | #Constraints: 55955
330.71/331.78 c #Conflicts: 1423000 | #Constraints: 56955
330.71/331.78 c #Conflicts: 1424000 | #Constraints: 57955
330.71/331.78 c #Conflicts: 1425000 | #Constraints: 58955
330.71/331.78 c #Conflicts: 1426000 | #Constraints: 59955
330.71/331.78 c #Conflicts: 1427000 | #Constraints: 60955
330.71/331.78 c #Conflicts: 1428000 | #Constraints: 61955
330.71/331.78 c #Conflicts: 1429000 | #Constraints: 62955
330.71/331.78 c #Conflicts: 1430000 | #Constraints: 63955
330.71/331.78 c #Conflicts: 1431000 | #Constraints: 64955
330.71/331.78 c #Conflicts: 1432000 | #Constraints: 65955
330.71/331.78 c #Conflicts: 1433000 | #Constraints: 66955
330.71/331.78 c #Conflicts: 1434000 | #Constraints: 67955
330.71/331.78 c #Conflicts: 1435000 | #Constraints: 68955
330.71/331.78 c #Conflicts: 1436000 | #Constraints: 69955
330.71/331.78 c #Conflicts: 1437000 | #Constraints: 70955
330.71/331.78 c #Conflicts: 1438000 | #Constraints: 71955
330.71/331.78 c #Conflicts: 1439000 | #Constraints: 72955
330.71/331.78 c #Conflicts: 1440000 | #Constraints: 73955
330.71/331.78 c #Conflicts: 1441000 | #Constraints: 74955
330.71/331.78 c #Conflicts: 1442000 | #Constraints: 75955
330.71/331.78 c #Conflicts: 1443000 | #Constraints: 76955
330.71/331.78 c #Conflicts: 1444000 | #Constraints: 77955
330.71/331.78 c #Conflicts: 1445000 | #Constraints: 78955
330.71/331.78 c #Conflicts: 1446000 | #Constraints: 79955
330.71/331.78 c #Conflicts: 1447000 | #Constraints: 80955
330.71/331.78 c #Conflicts: 1448000 | #Constraints: 81955
330.71/331.78 c #Conflicts: 1449000 | #Constraints: 82955
330.71/331.78 c #Conflicts: 1450000 | #Constraints: 83955
330.71/331.78 c #Conflicts: 1451000 | #Constraints: 84955
330.71/331.78 c #Conflicts: 1452000 | #Constraints: 85955
330.71/331.78 c #Conflicts: 1453000 | #Constraints: 86955
330.71/331.78 c #Conflicts: 1454000 | #Constraints: 87955
330.71/331.78 c #Conflicts: 1455000 | #Constraints: 88955
330.71/331.78 c #Conflicts: 1456000 | #Constraints: 89955
330.71/331.78 c #Conflicts: 1457000 | #Constraints: 90955
330.71/331.78 c #Conflicts: 1458000 | #Constraints: 91955
330.71/331.78 c #Conflicts: 1459000 | #Constraints: 92955
330.71/331.78 c #Conflicts: 1460000 | #Constraints: 93955
330.71/331.78 c #Conflicts: 1461000 | #Constraints: 94955
330.71/331.78 c #Conflicts: 1462000 | #Constraints: 95955
330.71/331.78 c #Conflicts: 1463000 | #Constraints: 96955
330.71/331.78 c #Conflicts: 1464000 | #Constraints: 97955
330.71/331.78 c #Conflicts: 1465000 | #Constraints: 98955
330.71/331.78 c #Conflicts: 1466000 | #Constraints: 99955
330.71/331.78 c #Conflicts: 1467000 | #Constraints: 100955
330.71/331.78 c #Conflicts: 1468000 | #Constraints: 101955
330.71/331.78 c #Conflicts: 1469000 | #Constraints: 102955
330.71/331.78 c #Conflicts: 1470000 | #Constraints: 103955
330.71/331.78 c #Conflicts: 1471000 | #Constraints: 104955
330.71/331.78 c #Conflicts: 1472000 | #Constraints: 105955
330.71/331.78 c #Conflicts: 1473000 | #Constraints: 106955
330.71/331.78 c #Conflicts: 1474000 | #Constraints: 107955
330.71/331.78 c #Conflicts: 1475000 | #Constraints: 108955
360.62/361.79 c #Conflicts: 1476000 | #Constraints: 109955
360.62/361.79 c #Conflicts: 1477000 | #Constraints: 110955
360.62/361.79 c #Conflicts: 1478000 | #Constraints: 111955
360.62/361.79 c #Conflicts: 1479000 | #Constraints: 112955
360.62/361.79 c #Conflicts: 1480000 | #Constraints: 113955
360.62/361.79 c #Conflicts: 1481000 | #Constraints: 114955
360.62/361.79 c #Conflicts: 1482000 | #Constraints: 115955
360.62/361.79 c #Conflicts: 1483000 | #Constraints: 116955
360.62/361.79 c #Conflicts: 1484000 | #Constraints: 117955
360.62/361.79 c #Conflicts: 1485000 | #Constraints: 118955
360.62/361.79 c #Conflicts: 1486000 | #Constraints: 119955
360.62/361.79 c #Conflicts: 1487000 | #Constraints: 120955
360.62/361.79 c #Conflicts: 1488000 | #Constraints: 121955
360.62/361.79 c #Conflicts: 1489000 | #Constraints: 122955
360.62/361.79 c #Conflicts: 1490000 | #Constraints: 123955
360.62/361.79 c #Conflicts: 1491000 | #Constraints: 124955
360.62/361.79 c #Conflicts: 1492000 | #Constraints: 125955
360.62/361.79 c #Conflicts: 1493000 | #Constraints: 126955
360.62/361.79 c #Conflicts: 1494000 | #Constraints: 127955
360.62/361.79 c #Conflicts: 1495000 | #Constraints: 128955
360.62/361.79 c #Conflicts: 1496000 | #Constraints: 129955
360.62/361.79 c #Conflicts: 1497000 | #Constraints: 130955
360.62/361.79 c #Conflicts: 1498000 | #Constraints: 131955
360.62/361.79 c #Conflicts: 1499000 | #Constraints: 132955
360.62/361.79 c #Conflicts: 1500000 | #Constraints: 133955
360.62/361.79 c #Conflicts: 1501000 | #Constraints: 134955
360.62/361.79 c #Conflicts: 1502000 | #Constraints: 135955
360.62/361.79 c #Conflicts: 1503000 | #Constraints: 136955
360.62/361.79 c #Conflicts: 1504000 | #Constraints: 137955
360.62/361.79 c #Conflicts: 1505000 | #Constraints: 138955
360.62/361.79 c #Conflicts: 1506000 | #Constraints: 139955
360.62/361.79 c #Conflicts: 1507000 | #Constraints: 140955
360.62/361.79 c #Conflicts: 1508000 | #Constraints: 141955
360.62/361.79 c #Conflicts: 1509000 | #Constraints: 142955
360.62/361.79 c #Conflicts: 1510000 | #Constraints: 143955
360.62/361.79 c #Conflicts: 1511000 | #Constraints: 144955
360.62/361.79 c #Conflicts: 1512000 | #Constraints: 145955
360.62/361.79 c #Conflicts: 1513000 | #Constraints: 146955
360.62/361.79 c #Conflicts: 1514000 | #Constraints: 147955
360.62/361.79 c #Conflicts: 1515000 | #Constraints: 148955
360.62/361.79 c INPROCESSING
360.62/361.79 c GARBAGE COLLECT
360.62/361.79 c rational objective 908
374.68/375.80 c #Conflicts: 1516000 | #Constraints: 78552
374.68/375.80 c #Conflicts: 1517000 | #Constraints: 79552
374.68/375.80 c #Conflicts: 1518000 | #Constraints: 80552
374.68/375.80 c #Conflicts: 1519000 | #Constraints: 81552
374.68/375.80 c #Conflicts: 1520000 | #Constraints: 82552
374.68/375.80 c #Conflicts: 1521000 | #Constraints: 83552
374.68/375.80 c #Conflicts: 1522000 | #Constraints: 84552
374.68/375.80 c #Conflicts: 1523000 | #Constraints: 85552
374.68/375.80 c #Conflicts: 1524000 | #Constraints: 86552
374.68/375.80 c #Conflicts: 1525000 | #Constraints: 87552
374.68/375.80 c #Conflicts: 1526000 | #Constraints: 88552
374.68/375.80 c #Conflicts: 1527000 | #Constraints: 89552
374.68/375.80 c #Conflicts: 1528000 | #Constraints: 90552
374.68/375.80 c #Conflicts: 1529000 | #Constraints: 91552
374.68/375.80 c #Conflicts: 1530000 | #Constraints: 92552
374.68/375.80 c #Conflicts: 1531000 | #Constraints: 93552
374.68/375.80 c #Conflicts: 1532000 | #Constraints: 94552
374.68/375.80 c #Conflicts: 1533000 | #Constraints: 95552
374.68/375.80 c #Conflicts: 1534000 | #Constraints: 96552
374.68/375.80 c #Conflicts: 1535000 | #Constraints: 97552
374.68/375.80 c #Conflicts: 1536000 | #Constraints: 98552
374.68/375.80 c #Conflicts: 1537000 | #Constraints: 99552
374.68/375.80 c #Conflicts: 1538000 | #Constraints: 100552
374.68/375.80 c #Conflicts: 1539000 | #Constraints: 101552
374.68/375.80 c #Conflicts: 1540000 | #Constraints: 102552
374.68/375.80 c INPROCESSING
374.68/375.80 c GARBAGE COLLECT
374.68/375.80 c rational objective 908
385.96/387.15 c #Conflicts: 1541000 | #Constraints: 55348
385.96/387.15 c #Conflicts: 1542000 | #Constraints: 56348
385.96/387.15 c #Conflicts: 1543000 | #Constraints: 57348
385.96/387.15 c #Conflicts: 1544000 | #Constraints: 58348
385.96/387.15 c #Conflicts: 1545000 | #Constraints: 59348
385.96/387.15 c #Conflicts: 1546000 | #Constraints: 60348
385.96/387.15 c #Conflicts: 1547000 | #Constraints: 61348
385.96/387.15 c #Conflicts: 1548000 | #Constraints: 62348
385.96/387.15 c #Conflicts: 1549000 | #Constraints: 63348
385.96/387.15 c #Conflicts: 1550000 | #Constraints: 64348
385.96/387.15 c #Conflicts: 1551000 | #Constraints: 65348
385.96/387.15 c #Conflicts: 1552000 | #Constraints: 66348
385.96/387.15 c #Conflicts: 1553000 | #Constraints: 67348
385.96/387.15 c #Conflicts: 1554000 | #Constraints: 68348
385.96/387.15 c #Conflicts: 1555000 | #Constraints: 69348
385.96/387.15 c #Conflicts: 1556000 | #Constraints: 70348
385.96/387.15 c #Conflicts: 1557000 | #Constraints: 71348
385.96/387.15 c #Conflicts: 1558000 | #Constraints: 72348
385.96/387.15 c #Conflicts: 1559000 | #Constraints: 73348
385.96/387.15 c #Conflicts: 1560000 | #Constraints: 74348
385.96/387.15 c #Conflicts: 1561000 | #Constraints: 75348
385.96/387.15 c #Conflicts: 1562000 | #Constraints: 76348
385.96/387.15 c #Conflicts: 1563000 | #Constraints: 77348
385.96/387.15 c #Conflicts: 1564000 | #Constraints: 78348
385.96/387.15 c #Conflicts: 1565000 | #Constraints: 79348
385.96/387.15 c #Conflicts: 1566000 | #Constraints: 80348
385.96/387.15 c INPROCESSING
385.96/387.15 c GARBAGE COLLECT
385.96/387.15 c rational objective 908
395.73/396.98 c #Conflicts: 1567000 | #Constraints: 44650
395.73/396.98 c #Conflicts: 1568000 | #Constraints: 45650
395.73/396.98 c #Conflicts: 1569000 | #Constraints: 46650
395.73/396.98 c #Conflicts: 1570000 | #Constraints: 47650
395.73/396.98 c #Conflicts: 1571000 | #Constraints: 48650
395.73/396.98 c #Conflicts: 1572000 | #Constraints: 49650
395.73/396.98 c #Conflicts: 1573000 | #Constraints: 50650
395.73/396.98 c #Conflicts: 1574000 | #Constraints: 51650
395.73/396.98 c #Conflicts: 1575000 | #Constraints: 52650
395.73/396.98 c #Conflicts: 1576000 | #Constraints: 53650
395.73/396.98 c #Conflicts: 1577000 | #Constraints: 54650
395.73/396.98 c #Conflicts: 1578000 | #Constraints: 55650
395.73/396.98 c #Conflicts: 1579000 | #Constraints: 56650
395.73/396.98 c #Conflicts: 1580000 | #Constraints: 57650
395.73/396.98 c #Conflicts: 1581000 | #Constraints: 58650
395.73/396.98 c #Conflicts: 1582000 | #Constraints: 59650
395.73/396.98 c #Conflicts: 1583000 | #Constraints: 60650
395.73/396.98 c #Conflicts: 1584000 | #Constraints: 61650
395.73/396.98 c #Conflicts: 1585000 | #Constraints: 62650
395.73/396.98 c #Conflicts: 1586000 | #Constraints: 63650
395.73/396.98 c #Conflicts: 1587000 | #Constraints: 64650
395.73/396.98 c #Conflicts: 1588000 | #Constraints: 65650
395.73/396.98 c #Conflicts: 1589000 | #Constraints: 66650
395.73/396.98 c #Conflicts: 1590000 | #Constraints: 67650
395.73/396.98 c #Conflicts: 1591000 | #Constraints: 68650
395.73/396.98 c INPROCESSING
395.73/396.98 c GARBAGE COLLECT
395.73/396.98 c rational objective 908
400.71/401.98 c #Conflicts: 1592000 | #Constraints: 35216
400.71/401.98 c #Conflicts: 1593000 | #Constraints: 36216
400.71/401.98 c #Conflicts: 1594000 | #Constraints: 37216
400.71/401.98 c #Conflicts: 1595000 | #Constraints: 38216
400.71/401.98 c #Conflicts: 1596000 | #Constraints: 39216
400.71/401.98 c #Conflicts: 1597000 | #Constraints: 40216
400.71/401.98 c #Conflicts: 1598000 | #Constraints: 41216
400.71/401.98 c #Conflicts: 1599000 | #Constraints: 42216
400.71/401.98 c #Conflicts: 1600000 | #Constraints: 43216
400.71/401.98 c #Conflicts: 1601000 | #Constraints: 44216
400.71/401.98 c #Conflicts: 1602000 | #Constraints: 45216
400.71/401.98 c #Conflicts: 1603000 | #Constraints: 46216
400.71/401.98 c #Conflicts: 1604000 | #Constraints: 47216
400.71/401.98 c #Conflicts: 1605000 | #Constraints: 48216
400.71/401.98 c #Conflicts: 1606000 | #Constraints: 49216
400.71/401.98 c #Conflicts: 1607000 | #Constraints: 50216
400.71/401.98 c #Conflicts: 1608000 | #Constraints: 51216
400.71/401.98 c #Conflicts: 1609000 | #Constraints: 52216
400.71/401.98 c #Conflicts: 1610000 | #Constraints: 53216
400.71/401.98 c cpu time 393.969 s
400.71/401.98 c deterministic time 12758305145 1.28e+10
400.71/401.98 c optimization time 0.000111 s
400.71/401.98 c total solve time 393.895 s
400.71/401.98 c core-guided solve time 0 s
400.71/401.98 c propagation time 213.425 s
400.71/401.98 c conflict analysis time 148.459 s
400.71/401.98 c propagations 457123575
400.71/401.98 c resolve steps 53750790
400.71/401.98 c decisions 2086067
400.71/401.98 c conflicts 1610218
400.71/401.98 c restarts 3069
400.71/401.98 c inprocessing phases 109
400.71/401.98 c garbage collections 109 ,( 100.00 )
400.71/401.98 c input clauses 3005 ,( 47.06 )
400.71/401.98 c input cardinalities 3380 ,( 52.94 )
400.71/401.98 c input general constraints 0 ,( 0.00 )
400.71/401.98 c input average constraint length 2.67
400.71/401.98 c input average constraint degree 1.53
400.71/401.98 c learned clauses 1609047 ,( 99.92 )
400.71/401.98 c learned cardinalities 1064 ,( 0.07 )
400.71/401.98 c learned general constraints 230 ,( 0.01 )
400.71/401.98 c learned average constraint length 189.91
400.71/401.98 c learned average constraint degree 19500.72
400.71/401.98 c watched CF 32, 64, 128, Arb: 216 , 0 , 0 , 0
400.71/401.98 c counting CF 32, 64, 128, Arb: 14 , 0 , 0 , 0
400.71/401.98 c watched constraints 216 ,( 93.91 )
400.71/401.98 c counting constraints 14 ,( 6.09 )
400.71/401.98 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 2493718750 , 510833293 , 257986 ,( 159266 , 98720 )
400.71/401.98 c gcd simplifications 184
400.71/401.98 c detected cardinalities 10
400.71/401.98 c weakened non-implied lits 4190068
400.71/401.98 c weakened non-implying lits 219
400.71/401.98 c original variables 2724
400.71/401.98 c clausal propagations 268501903
400.71/401.98 c cardinality propagations 186979580
400.71/401.98 c watched propagations 11807
400.71/401.98 c counting propagations 19074
400.71/401.98 c watch lookups 3014008515
400.71/401.98 c watch backjump lookups 0
400.71/401.98 c watch checks 6303167507
400.71/401.98 c propagation checks 1639716716
400.71/401.98 c constraint additions 881205089
400.71/401.98 c trail pops 460818872
400.71/401.98 c formula constraints 6385
400.71/401.98 c learned constraints 1610217
400.71/401.98 c bound constraints 0
400.71/401.98 c core-guided constraints 0
400.71/401.98 c encountered formula constraints 31414043
400.71/401.98 c encountered learned constraints 23905531
400.71/401.98 c encountered bound constraints 0
400.71/401.98 c encountered core-guided constraints 0
400.71/401.98 c LP total time 18.8735 s
400.71/401.98 c LP solve time 4.83 s
400.71/401.98 c LP constraints added 6824
400.71/401.98 c LP constraints removed 434
400.71/401.98 c LP pivots internal 161227
400.71/401.98 c LP pivots root 17576
400.71/401.98 c LP calls 393
400.71/401.98 c LP optimalities 391
400.71/401.98 c LP no pivot count 75
400.71/401.98 c LP infeasibilities 0
400.71/401.98 c LP valid Farkas constraints 0
400.71/401.98 c LP learned Farkas constraints 0
400.71/401.98 c LP basis resets 0
400.71/401.98 c LP cycling count 0
400.71/401.98 c LP singular count 0
400.71/401.98 c LP no primal count 0
400.71/401.98 c LP no farkas count 0
400.71/401.98 c LP other issue count 0
400.71/401.98 c LP Gomory cuts 124
400.71/401.98 c LP learned cuts 315
400.71/401.98 c LP deleted cuts 434
400.71/401.98 c LP encountered Gomory constraints 41434
400.71/401.98 c LP encountered Farkas constraints 0
400.71/401.98 c LP encountered learned Farkas constraints 0
400.71/401.98 c CG auxiliary variables introduced 0
400.71/401.98 c CG solutions found 0
400.71/401.98 c CG cores constructed 0
400.71/401.98 c CG core cardinality constraints returned 0
400.71/401.98 c CG unit cores 0
400.71/401.98 c CG single cores 0
400.71/401.98 c CG blocks removed during cardinality reduction 0
400.71/401.98 c CG first core best 0
400.71/401.98 c CG decision core best 0
400.71/401.98 c CG core reduction tie 0
400.71/401.98 c CG core degree average 0.00
400.71/401.98 c CG core slack average 0.00
400.71/401.98 c CG core upper bound improvements 0
400.71/401.98 c STR number of successful calls 0
400.71/401.98 c STR number of unsuccessful calls 0
400.71/401.98 c STR number of inconclusive calls 0
400.71/401.98 c STR number of successful attempts 0
400.71/401.98 c STR number of unsuccessful attempts 0
400.71/401.98 c STR number of inconclusive attempts 0
400.71/401.98 c STR average degree increase per successful call inf
400.71/401.98 c STR average degree increase per successful attempt inf
400.79/402.03 c STR total number of conflicts for successful attempts 0
400.79/402.03 c STR total number of conflicts for unsuccessful attempts 0
400.79/402.03 c STR total number of conflicts for inconclusive attempts 0
400.79/402.03 c STR average number of conflicts per successful attempt inf
400.79/402.03 c STR average number of conflicts per unsuccessful attempt inf
400.79/402.03 c STR average number of conflicts per inconclusive attempt inf
400.79/402.03 c AVG.sumWPerc 10.16
400.79/402.03 c bigint constraints 0
400.79/402.03 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: 63837 MiB (58736 MiB free)
memory of node 1: 64465 MiB (63614 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4510943-1751195893/watcher-4510943-1751195893 -o /tmp/evaluation-result-4510943-1751195893/solver-4510943-1751195893 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751192146-24750 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4510943-1751195893.opb PROOFDIR/proof-4510943-1751195893
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=25570, runsolver pid=25567
[startup+0.10009 s]*
/proc/loadavg: 4.23 4.18 4.12 5/260 25572
/proc/meminfo: memFree=125283284/131382116 swapFree=33010684/33010684
[pid=25570] ppid=25567 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/25570/stat : 25570 (run-dec-ls-log.) S 25567 25570 24737 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 35268534 4292608 736 18446744073709551615 93992257159168 93992258053701 140722080282864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93992258292752 93992258340496 93992269422592 140722080291099 140722080291297 140722080291297 140722080296899 0
/proc/25570/statm: 1048 736 672 219 0 110 0
[pid=25572] ppid=25570 vsize=61452 memory=17780 CPUtime=0.08 cores=5,7
/proc/25572/stat : 25572 (roundingsat) R 25570 25570 24737 0 -1 4194304 2334 0 0 0 6 2 0 0 20 0 1 0 35268535 62926848 4445 18446744073709551615 4227072 8923433 140728580452352 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41672704 140728580454736 140728580454952 140728580454952 140728580460522 0
/proc/25572/statm: 15363 4445 2304 1147 0 2790 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 65644 KiB
Current children cumulated memory: 20724 KiB
[startup+0.209283 s]*
/proc/loadavg: 4.23 4.18 4.12 5/260 25572
/proc/meminfo: memFree=125283284/131382116 swapFree=33010684/33010684
[pid=25570] ppid=25567 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/25570/stat : 25570 (run-dec-ls-log.) S 25567 25570 24737 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 35268534 4292608 736 18446744073709551615 93992257159168 93992258053701 140722080282864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93992258292752 93992258340496 93992269422592 140722080291099 140722080291297 140722080291297 140722080296899 0
/proc/25570/statm: 1048 736 672 219 0 110 0
[pid=25572] ppid=25570 vsize=66740 memory=22764 CPUtime=0.19 cores=5,7
/proc/25572/stat : 25572 (roundingsat) R 25570 25570 24737 0 -1 4194304 3575 0 0 0 16 3 0 0 20 0 1 0 35268535 68341760 5691 18446744073709551615 4227072 8923433 140728580452352 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41672704 140728580454736 140728580454952 140728580454952 140728580460522 0
/proc/25572/statm: 16685 5691 2336 1147 0 4112 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 70932 KiB
Current children cumulated memory: 25708 KiB
[startup+0.313586 s]*
/proc/loadavg: 4.21 4.17 4.12 5/260 25572
/proc/meminfo: memFree=125283284/131382116 swapFree=33010684/33010684
[pid=25570] ppid=25567 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/25570/stat : 25570 (run-dec-ls-log.) S 25567 25570 24737 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 35268534 4292608 736 18446744073709551615 93992257159168 93992258053701 140722080282864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93992258292752 93992258340496 93992269422592 140722080291099 140722080291297 140722080291297 140722080296899 0
/proc/25570/statm: 1048 736 672 219 0 110 0
[pid=25572] ppid=25570 vsize=67976 memory=23916 CPUtime=0.3 cores=5,7
/proc/25572/stat : 25572 (roundingsat) R 25570 25570 24737 0 -1 4194304 3840 0 0 0 25 5 0 0 20 0 1 0 35268535 69607424 5979 18446744073709551615 4227072 8923433 140728580452352 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41672704 140728580454736 140728580454952 140728580454952 140728580460522 0
/proc/25572/statm: 16994 5979 2368 1147 0 4421 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 72168 KiB
Current children cumulated memory: 26860 KiB
[startup+0.70033 s]
/proc/loadavg: 4.21 4.17 4.12 5/260 25572
/proc/meminfo: memFree=125283284/131382116 swapFree=33010684/33010684
[pid=25570] ppid=25567 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/25570/stat : 25570 (run-dec-ls-log.) S 25567 25570 24737 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 35268534 4292608 736 18446744073709551615 93992257159168 93992258053701 140722080282864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93992258292752 93992258340496 93992269422592 140722080291099 140722080291297 140722080291297 140722080296899 0
/proc/25570/statm: 1048 736 672 219 0 110 0
[pid=25572] ppid=25570 vsize=67976 memory=23916 CPUtime=0.67 cores=5,7
/proc/25572/stat : 25572 (roundingsat) R 25570 25570 24737 0 -1 4194304 3844 0 0 0 52 15 0 0 20 0 1 0 35268535 69607424 5979 18446744073709551615 4227072 8923433 140728580452352 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41672704 140728580454736 140728580454952 140728580454952 140728580460522 0
/proc/25572/statm: 16994 5979 2368 1147 0 4421 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 72168 KiB
Current children cumulated memory: 26860 KiB
[startup+1.50035 s]
/proc/loadavg: 4.21 4.17 4.12 5/260 25572
/proc/meminfo: memFree=125287388/131382116 swapFree=33010684/33010684
[pid=25570] ppid=25567 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/25570/stat : 25570 (run-dec-ls-log.) S 25567 25570 24737 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 35268534 4292608 736 18446744073709551615 93992257159168 93992258053701 140722080282864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93992258292752 93992258340496 93992269422592 140722080291099 140722080291297 140722080291297 140722080296899 0
/proc/25570/statm: 1048 736 672 219 0 110 0
[pid=25572] ppid=25570 vsize=68152 memory=24300 CPUtime=1.47 cores=5,7
/proc/25572/stat : 25572 (roundingsat) R 25570 25570 24737 0 -1 4194304 3900 0 0 0 125 22 0 0 20 0 1 0 35268535 69787648 6075 18446744073709551615 4227072 8923433 140728580452352 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41672704 140728580454736 140728580454952 140728580454952 140728580460522 0
/proc/25572/statm: 17038 6075 2400 1147 0 4465 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 72344 KiB
Current children cumulated memory: 27244 KiB
[startup+3.11316 s]
/proc/loadavg: 4.21 4.17 4.12 5/260 25572
/proc/meminfo: memFree=125260652/131382116 swapFree=33010684/33010684
[pid=25570] ppid=25567 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/25570/stat : 25570 (run-dec-ls-log.) S 25567 25570 24737 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 35268534 4292608 736 18446744073709551615 93992257159168 93992258053701 140722080282864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93992258292752 93992258340496 93992269422592 140722080291099 140722080291297 140722080291297 140722080296899 0
/proc/25570/statm: 1048 736 672 219 0 110 0
[pid=25572] ppid=25570 vsize=69848 memory=27952 CPUtime=3.07 cores=5,7
/proc/25572/stat : 25572 (roundingsat) R 25570 25570 24737 0 -1 4194304 4313 0 0 0 282 25 0 0 20 0 1 0 35268535 71524352 6988 18446744073709551615 4227072 8923433 140728580452352 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41672704 140728580454736 140728580454952 140728580454952 140728580460522 0
/proc/25572/statm: 17462 6988 2400 1147 0 4889 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 74040 KiB
Current children cumulated memory: 30896 KiB
[startup+6.30037 s]
/proc/loadavg: 4.20 4.17 4.11 4/254 25598
/proc/meminfo: memFree=125446400/131382116 swapFree=33010684/33010684
[pid=25570] ppid=25567 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/25570/stat : 25570 (run-dec-ls-log.) S 25567 25570 24737 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 35268534 4292608 736 18446744073709551615 93992257159168 93992258053701 140722080282864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93992258292752 93992258340496 93992269422592 140722080291099 140722080291297 140722080291297 140722080296899 0
/proc/25570/statm: 1048 736 672 219 0 110 0
[pid=25572] ppid=25570 vsize=72364 memory=30256 CPUtime=6.26 cores=5,7
/proc/25572/stat : 25572 (roundingsat) R 25570 25570 24737 0 -1 4194304 4904 0 0 0 592 34 0 0 20 0 1 0 35268535 74100736 7564 18446744073709551615 4227072 8923433 140728580452352 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41672704 140728580454736 140728580454952 140728580454952 140728580460522 0
/proc/25572/statm: 18091 7564 2400 1147 0 5518 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 76556 KiB
Current children cumulated memory: 33200 KiB
[startup+12.7004 s]
/proc/loadavg: 4.18 4.17 4.11 5/260 25618
/proc/meminfo: memFree=129698040/131382116 swapFree=33010684/33010684
[pid=25570] ppid=25567 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/25570/stat : 25570 (run-dec-ls-log.) S 25567 25570 24737 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 35268534 4292608 736 18446744073709551615 93992257159168 93992258053701 140722080282864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93992258292752 93992258340496 93992269422592 140722080291099 140722080291297 140722080291297 140722080296899 0
/proc/25570/statm: 1048 736 672 219 0 110 0
[pid=25572] ppid=25570 vsize=72912 memory=30896 CPUtime=12.63 cores=5,7
/proc/25572/stat : 25572 (roundingsat) R 25570 25570 24737 0 -1 4194304 5070 0 0 0 1214 49 0 0 20 0 1 0 35268535 74661888 7724 18446744073709551615 4227072 8923433 140728580452352 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41672704 140728580454736 140728580454952 140728580454952 140728580460522 0
/proc/25572/statm: 18228 7724 2400 1147 0 5655 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 77104 KiB
Current children cumulated memory: 33840 KiB
[startup+25.5004 s]
/proc/loadavg: 4.15 4.16 4.11 5/260 25618
/proc/meminfo: memFree=129560688/131382116 swapFree=33010684/33010684
[pid=25570] ppid=25567 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/25570/stat : 25570 (run-dec-ls-log.) S 25567 25570 24737 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 35268534 4292608 736 18446744073709551615 93992257159168 93992258053701 140722080282864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93992258292752 93992258340496 93992269422592 140722080291099 140722080291297 140722080291297 140722080296899 0
/proc/25570/statm: 1048 736 672 219 0 110 0
[pid=25572] ppid=25570 vsize=77836 memory=35168 CPUtime=25.4 cores=5,7
/proc/25572/stat : 25572 (roundingsat) R 25570 25570 24737 0 -1 4194304 5633 0 0 0 2465 75 0 0 20 0 1 0 35268535 79704064 8792 18446744073709551615 4227072 8923433 140728580452352 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41672704 140728580454736 140728580454952 140728580454952 140728580460522 0
/proc/25572/statm: 19459 8792 2400 1147 0 6886 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 82028 KiB
Current children cumulated memory: 38112 KiB
[startup+51.1131 s]
/proc/loadavg: 4.14 4.16 4.11 5/260 25618
/proc/meminfo: memFree=129317168/131382116 swapFree=33010684/33010684
[pid=25570] ppid=25567 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/25570/stat : 25570 (run-dec-ls-log.) S 25567 25570 24737 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 35268534 4292608 736 18446744073709551615 93992257159168 93992258053701 140722080282864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93992258292752 93992258340496 93992269422592 140722080291099 140722080291297 140722080291297 140722080296899 0
/proc/25570/statm: 1048 736 672 219 0 110 0
[pid=25572] ppid=25570 vsize=83656 memory=39912 CPUtime=50.94 cores=5,7
/proc/25572/stat : 25572 (roundingsat) R 25570 25570 24737 0 -1 4194304 6293 0 0 0 4964 130 0 0 20 0 1 0 35268535 85663744 9978 18446744073709551615 4227072 8923433 140728580452352 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41672704 140728580454736 140728580454952 140728580454952 140728580460522 0
/proc/25572/statm: 20914 9978 2400 1147 0 8341 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 87848 KiB
Current children cumulated memory: 42856 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/260 25620
/proc/meminfo: memFree=128923776/131382116 swapFree=33010684/33010684
[pid=25570] ppid=25567 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/25570/stat : 25570 (run-dec-ls-log.) S 25567 25570 24737 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 35268534 4292608 736 18446744073709551615 93992257159168 93992258053701 140722080282864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93992258292752 93992258340496 93992269422592 140722080291099 140722080291297 140722080291297 140722080296899 0
/proc/25570/statm: 1048 736 672 219 0 110 0
[pid=25572] ppid=25570 vsize=94016 memory=49616 CPUtime=101.96 cores=5,7
/proc/25572/stat : 25572 (roundingsat) R 25570 25570 24737 0 -1 4194304 7709 0 0 0 9964 232 0 0 20 0 1 0 35268535 96272384 12404 18446744073709551615 4227072 8923433 140728580452352 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41672704 140728580454736 140728580454952 140728580454952 140728580460522 0
/proc/25572/statm: 23504 12404 2400 1147 0 10931 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 98208 KiB
Current children cumulated memory: 52560 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/261 25625
/proc/meminfo: memFree=128468624/131382116 swapFree=33010684/33010684
[pid=25570] ppid=25567 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/25570/stat : 25570 (run-dec-ls-log.) S 25567 25570 24737 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 35268534 4292608 736 18446744073709551615 93992257159168 93992258053701 140722080282864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93992258292752 93992258340496 93992269422592 140722080291099 140722080291297 140722080291297 140722080296899 0
/proc/25570/statm: 1048 736 672 219 0 110 0
[pid=25572] ppid=25570 vsize=96456 memory=54492 CPUtime=161.76 cores=5,7
/proc/25572/stat : 25572 (roundingsat) R 25570 25570 24737 0 -1 4194304 8345 0 0 0 15833 343 0 0 20 0 1 0 35268535 98770944 13623 18446744073709551615 4227072 8923433 140728580452352 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41672704 140728580454736 140728580454952 140728580454952 140728580460522 0
/proc/25572/statm: 24114 13623 2400 1147 0 11541 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 100648 KiB
Current children cumulated memory: 57436 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/259 25627
/proc/meminfo: memFree=128090528/131382116 swapFree=33010684/33010684
[pid=25570] ppid=25567 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/25570/stat : 25570 (run-dec-ls-log.) S 25567 25570 24737 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 35268534 4292608 736 18446744073709551615 93992257159168 93992258053701 140722080282864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93992258292752 93992258340496 93992269422592 140722080291099 140722080291297 140722080291297 140722080296899 0
/proc/25570/statm: 1048 736 672 219 0 110 0
[pid=25572] ppid=25570 vsize=109572 memory=61932 CPUtime=221.61 cores=5,7
/proc/25572/stat : 25572 (roundingsat) R 25570 25570 24737 0 -1 4194304 9214 0 0 0 21715 446 0 0 20 0 1 0 35268535 112201728 15483 18446744073709551615 4227072 8923433 140728580452352 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41672704 140728580454736 140728580454952 140728580454952 140728580460522 0
/proc/25572/statm: 27393 15483 2400 1147 0 14820 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 113764 KiB
Current children cumulated memory: 64876 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/257 25629
/proc/meminfo: memFree=127694736/131382116 swapFree=33010684/33010684
[pid=25570] ppid=25567 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/25570/stat : 25570 (run-dec-ls-log.) S 25567 25570 24737 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 35268534 4292608 736 18446744073709551615 93992257159168 93992258053701 140722080282864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93992258292752 93992258340496 93992269422592 140722080291099 140722080291297 140722080291297 140722080296899 0
/proc/25570/statm: 1048 736 672 219 0 110 0
[pid=25572] ppid=25570 vsize=111440 memory=65928 CPUtime=281.44 cores=5,7
/proc/25572/stat : 25572 (roundingsat) R 25570 25570 24737 0 -1 4194304 9683 0 0 0 27602 542 0 0 20 0 1 0 35268535 114114560 16482 18446744073709551615 4227072 8923433 140728580452352 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41672704 140728580454736 140728580454952 140728580454952 140728580460522 0
/proc/25572/statm: 27860 16482 2400 1147 0 15287 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 115632 KiB
Current children cumulated memory: 68872 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/257 25636
/proc/meminfo: memFree=127234588/131382116 swapFree=33010684/33010684
[pid=25570] ppid=25567 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/25570/stat : 25570 (run-dec-ls-log.) S 25567 25570 24737 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 35268534 4292608 736 18446744073709551615 93992257159168 93992258053701 140722080282864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93992258292752 93992258340496 93992269422592 140722080291099 140722080291297 140722080291297 140722080296899 0
/proc/25570/statm: 1048 736 672 219 0 110 0
[pid=25572] ppid=25570 vsize=221712 memory=149612 CPUtime=341.28 cores=5,7
/proc/25572/stat : 25572 (roundingsat) R 25570 25570 24737 0 -1 4194304 13253 0 0 0 33507 621 0 0 20 0 1 0 35268535 227033088 37403 18446744073709551615 4227072 8923433 140728580452352 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41672704 140728580454736 140728580454952 140728580454952 140728580460522 0
/proc/25572/statm: 55428 37403 2400 1147 0 42855 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 225904 KiB
Current children cumulated memory: 152556 KiB
[startup+402.039 s]
# the end of solver process 25570 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=393.982 s, system=6.83949 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+358.4 s]
/proc/loadavg: 4.11 4.14 4.10 5/258 25637
/proc/meminfo: memFree=127128088/131382116 swapFree=33010684/33010684
[pid=25570] ppid=25567 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/25570/stat : 25570 (run-dec-ls-log.) S 25567 25570 24737 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 35268534 4292608 736 18446744073709551615 93992257159168 93992258053701 140722080282864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93992258292752 93992258340496 93992269422592 140722080291099 140722080291297 140722080291297 140722080296899 0
/proc/25570/statm: 1048 736 672 219 0 110 0
[pid=25572] ppid=25570 vsize=227100 memory=173948 CPUtime=357.33 cores=5,7
/proc/25572/stat : 25572 (roundingsat) R 25570 25570 24737 0 -1 4194304 14248 0 0 0 35100 633 0 0 20 0 1 0 35268535 232550400 43487 18446744073709551615 4227072 8923433 140728580452352 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41672704 140728580454736 140728580454952 140728580454952 140728580460522 0
/proc/25572/statm: 56775 43487 2400 1147 0 44202 0
Current children cumulated CPU time: 357.33 s
Current children cumulated vsize: 231292 KiB
Current children cumulated memory: 176892 KiB
[startup+384 s]*
/proc/loadavg: 4.15 4.14 4.10 5/258 25639
/proc/meminfo: memFree=126962668/131382116 swapFree=33010684/33010684
[pid=25570] ppid=25567 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/25570/stat : 25570 (run-dec-ls-log.) S 25567 25570 24737 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 35268534 4292608 736 18446744073709551615 93992257159168 93992258053701 140722080282864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93992258292752 93992258340496 93992269422592 140722080291099 140722080291297 140722080291297 140722080296899 0
/proc/25570/statm: 1048 736 672 219 0 110 0
[pid=25572] ppid=25570 vsize=231356 memory=181928 CPUtime=382.87 cores=5,7
/proc/25572/stat : 25572 (roundingsat) R 25570 25570 24737 0 -1 4194304 15199 0 0 0 37631 656 0 0 20 0 1 0 35268535 236908544 45482 18446744073709551615 4227072 8923433 140728580452352 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41672704 140728580454736 140728580454952 140728580454952 140728580460522 0
/proc/25572/statm: 57839 45482 2400 1147 0 45266 0
Current children cumulated CPU time: 382.87 s
Current children cumulated vsize: 235548 KiB
Current children cumulated memory: 184872 KiB
[startup+390.4 s]
/proc/loadavg: 4.13 4.14 4.10 5/258 25639
/proc/meminfo: memFree=126924628/131382116 swapFree=33010684/33010684
[pid=25570] ppid=25567 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/25570/stat : 25570 (run-dec-ls-log.) S 25567 25570 24737 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 35268534 4292608 736 18446744073709551615 93992257159168 93992258053701 140722080282864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93992258292752 93992258340496 93992269422592 140722080291099 140722080291297 140722080291297 140722080296899 0
/proc/25570/statm: 1048 736 672 219 0 110 0
[pid=25572] ppid=25570 vsize=231356 memory=181928 CPUtime=389.24 cores=5,7
/proc/25572/stat : 25572 (roundingsat) R 25570 25570 24737 0 -1 4194304 15212 0 0 0 38260 664 0 0 20 0 1 0 35268535 236908544 45482 18446744073709551615 4227072 8923433 140728580452352 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41672704 140728580454736 140728580454952 140728580454952 140728580460522 0
/proc/25572/statm: 57839 45482 2400 1147 0 45266 0
Current children cumulated CPU time: 389.24 s
Current children cumulated vsize: 235548 KiB
Current children cumulated memory: 184872 KiB
[startup+396.8 s]
/proc/loadavg: 4.11 4.13 4.10 5/258 25639
/proc/meminfo: memFree=126896208/131382116 swapFree=33010684/33010684
[pid=25570] ppid=25567 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/25570/stat : 25570 (run-dec-ls-log.) S 25567 25570 24737 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 35268534 4292608 736 18446744073709551615 93992257159168 93992258053701 140722080282864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93992258292752 93992258340496 93992269422592 140722080291099 140722080291297 140722080291297 140722080296899 0
/proc/25570/statm: 1048 736 672 219 0 110 0
[pid=25572] ppid=25570 vsize=231356 memory=181928 CPUtime=395.63 cores=5,7
/proc/25572/stat : 25572 (roundingsat) R 25570 25570 24737 0 -1 4194304 15215 0 0 0 38892 671 0 0 20 0 1 0 35268535 236908544 45482 18446744073709551615 4227072 8923433 140728580452352 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41672704 140728580454736 140728580454952 140728580454952 140728580460522 0
/proc/25572/statm: 57839 45482 2400 1147 0 45266 0
Current children cumulated CPU time: 395.63 s
Current children cumulated vsize: 235548 KiB
Current children cumulated memory: 184872 KiB
[startup+400 s]*
/proc/loadavg: 4.11 4.13 4.10 5/258 25639
/proc/meminfo: memFree=126866220/131382116 swapFree=33010684/33010684
[pid=25570] ppid=25567 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/25570/stat : 25570 (run-dec-ls-log.) S 25567 25570 24737 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 35268534 4292608 736 18446744073709551615 93992257159168 93992258053701 140722080282864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93992258292752 93992258340496 93992269422592 140722080291099 140722080291297 140722080291297 140722080296899 0
/proc/25570/statm: 1048 736 672 219 0 110 0
[pid=25572] ppid=25570 vsize=231356 memory=181928 CPUtime=398.82 cores=5,7
/proc/25572/stat : 25572 (roundingsat) R 25570 25570 24737 0 -1 4194304 15215 0 0 0 39207 675 0 0 20 0 1 0 35268535 236908544 45482 18446744073709551615 4227072 8923433 140728580452352 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41672704 140728580454736 140728580454952 140728580454952 140728580460522 0
/proc/25572/statm: 57839 45482 2400 1147 0 45266 0
Current children cumulated CPU time: 398.82 s
Current children cumulated vsize: 235548 KiB
Current children cumulated memory: 184872 KiB
[startup+400.8 s]
/proc/loadavg: 4.11 4.13 4.10 5/258 25639
/proc/meminfo: memFree=126866220/131382116 swapFree=33010684/33010684
[pid=25570] ppid=25567 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/25570/stat : 25570 (run-dec-ls-log.) S 25567 25570 24737 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 35268534 4292608 736 18446744073709551615 93992257159168 93992258053701 140722080282864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93992258292752 93992258340496 93992269422592 140722080291099 140722080291297 140722080291297 140722080296899 0
/proc/25570/statm: 1048 736 672 219 0 110 0
[pid=25572] ppid=25570 vsize=231356 memory=181928 CPUtime=399.61 cores=5,7
/proc/25572/stat : 25572 (roundingsat) R 25570 25570 24737 0 -1 4194304 15215 0 0 0 39283 678 0 0 20 0 1 0 35268535 236908544 45482 18446744073709551615 4227072 8923433 140728580452352 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41672704 140728580454736 140728580454952 140728580454952 140728580460522 0
/proc/25572/statm: 57839 45482 2400 1147 0 45266 0
Current children cumulated CPU time: 399.61 s
Current children cumulated vsize: 235548 KiB
Current children cumulated memory: 184872 KiB
[startup+401.6 s]
/proc/loadavg: 4.10 4.13 4.10 5/258 25639
/proc/meminfo: memFree=126861612/131382116 swapFree=33010684/33010684
[pid=25570] ppid=25567 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/25570/stat : 25570 (run-dec-ls-log.) S 25567 25570 24737 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 35268534 4292608 736 18446744073709551615 93992257159168 93992258053701 140722080282864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93992258292752 93992258340496 93992269422592 140722080291099 140722080291297 140722080291297 140722080296899 0
/proc/25570/statm: 1048 736 672 219 0 110 0
[pid=25572] ppid=25570 vsize=231356 memory=181928 CPUtime=400.41 cores=5,7
/proc/25572/stat : 25572 (roundingsat) R 25570 25570 24737 0 -1 4194304 15215 0 0 0 39360 681 0 0 20 0 1 0 35268535 236908544 45482 18446744073709551615 4227072 8923433 140728580452352 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41672704 140728580454736 140728580454952 140728580454952 140728580460522 0
/proc/25572/statm: 57839 45482 2400 1147 0 45266 0
Current children cumulated CPU time: 400.41 s
Current children cumulated vsize: 235548 KiB
Current children cumulated memory: 184872 KiB
[startup+402 s]*
/proc/loadavg: 4.10 4.13 4.10 4/258 25639
/proc/meminfo: memFree=126834956/131382116 swapFree=33010684/33010684
[pid=25570] ppid=25567 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/25570/stat : 25570 (run-dec-ls-log.) S 25567 25570 24737 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 35268534 4292608 736 18446744073709551615 93992257159168 93992258053701 140722080282864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93992258292752 93992258340496 93992269422592 140722080291099 140722080291297 140722080291297 140722080296899 0
/proc/25570/statm: 1048 736 672 219 0 110 0
[pid=25572] ppid=25570 vsize=231356 memory=181928 CPUtime=400.79 cores=5,7
/proc/25572/stat : 25572 (roundingsat) D 25570 25570 24737 0 -1 4194304 15215 0 0 0 39397 682 0 0 20 0 1 0 35268535 236908544 45482 18446744073709551615 4227072 8923433 140728580452352 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 41672704 140728580454736 140728580454952 140728580454952 140728580460522 0
/proc/25572/statm: 57839 45482 2400 1147 0 45266 0
Current children cumulated CPU time: 400.79 s
Current children cumulated vsize: 235548 KiB
Current children cumulated memory: 184872 KiB
Child status: 0
Real time (s): 402.039
CPU time (s): 400.821
CPU user time (s): 393.982
CPU system time (s): 6.83949
CPU usage (%): 99.6971
Max. virtual memory (cumulated for all children) (KiB): 235548
Max. memory (cumulated for all children) (KiB): 184872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 393.982
system time used= 6.83949
maximum resident set size= 181928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15447
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1401256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1146
involuntary context switches= 719
# summary of solver processes directly reported to runsolver:
# pid: 25570
# total CPU time (s): 400.821
# total CPU user time (s): 393.982
# total CPU system time (s): 6.83949
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.3626 second user time and 3.87036 second system time
The end
Begin job on nodeC004 at 2025-06-29 13:18:14
IDJOB=4510943
IDBENCH=160406
IDSOLVER=3354
FILE ID=nodeC004/4510943-1751195893
RUNJOBID= nodeC004-1751192146-24750
SLURM_JOB_ID= 9587582
Free space on /tmp= 433028 MiB
SOLVER NAME= roundingsat-ls-log 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-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4510943-1751195893/watcher-4510943-1751195893 -o /tmp/evaluation-result-4510943-1751195893/solver-4510943-1751195893 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751192146-24750 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4510943-1751195893.opb PROOFDIR/proof-4510943-1751195893
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= bbbcfa0a64e8945cae78db4c3e84f0d8
RANDOM SEED=340468774
nodeC004 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 : 0xb00001f
cpu MHz : 3662.339
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74
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 : 0xb00001f
cpu MHz : 3662.381
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74
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 : 0xb00001f
cpu MHz : 1197.432
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74
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 : 0xb00001f
cpu MHz : 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74
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 : 0xb00001f
cpu MHz : 3662.316
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74
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 : 0xb00001f
cpu MHz : 1197.214
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74
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 : 0xb00001f
cpu MHz : 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74
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 : 0xb00001f
cpu MHz : 1796.013
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 125287620 kB
MemAvailable: 129649456 kB
Buffers: 3280 kB
Cached: 5168388 kB
SwapCached: 0 kB
Active: 626328 kB
Inactive: 4920272 kB
Active(anon): 393336 kB
Inactive(anon): 0 kB
Active(file): 232992 kB
Inactive(file): 4920272 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 109508 kB
Writeback: 8 kB
AnonPages: 375964 kB
Mapped: 112380 kB
Shmem: 17976 kB
KReclaimable: 96396 kB
Slab: 181904 kB
SReclaimable: 96396 kB
SUnreclaim: 85508 kB
KernelStack: 4208 kB
PageTables: 3924 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 717852 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149528 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 212992 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: 197448 kB
DirectMap2M: 10190848 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC004 at 2025-06-29 13:24:56