0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.03 c #variables 245 #constraints 4485
0.00/0.03 c objective is ce32
0.00/0.03 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.03 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.010358
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.010622
0.00/0.03 c rational objective 0
0.19/0.28 c #Conflicts: 1000 | #Constraints: 5495
0.19/0.28 c #Conflicts: 2000 | #Constraints: 6502
0.19/0.28 c INPROCESSING
0.19/0.28 c GARBAGE COLLECT
0.19/0.28 c rational objective 0
0.49/0.57 c #Conflicts: 3000 | #Constraints: 6511
0.49/0.57 c #Conflicts: 4000 | #Constraints: 7514
0.49/0.57 c INPROCESSING
0.49/0.57 c GARBAGE COLLECT
0.49/0.57 c rational objective 0
0.78/0.82 c #Conflicts: 5000 | #Constraints: 6921
0.78/0.82 c #Conflicts: 6000 | #Constraints: 7921
0.78/0.82 c INPROCESSING
0.78/0.82 c GARBAGE COLLECT
0.78/0.82 c rational objective 0
1.08/1.14 c #Conflicts: 7000 | #Constraints: 6930
1.08/1.14 c #Conflicts: 8000 | #Constraints: 7930
1.08/1.14 c #Conflicts: 9000 | #Constraints: 8930
1.08/1.14 c INPROCESSING
1.08/1.14 c GARBAGE COLLECT
1.08/1.14 c rational objective 0
1.37/1.47 c #Conflicts: 10000 | #Constraints: 7635
1.37/1.47 c #Conflicts: 11000 | #Constraints: 8635
1.37/1.47 c #Conflicts: 12000 | #Constraints: 9635
1.37/1.47 c INPROCESSING
1.37/1.47 c GARBAGE COLLECT
1.37/1.47 c rational objective 0
1.78/1.83 c #Conflicts: 13000 | #Constraints: 8092
1.78/1.83 c #Conflicts: 14000 | #Constraints: 9092
1.78/1.83 c #Conflicts: 15000 | #Constraints: 10092
1.78/1.83 c INPROCESSING
1.78/1.83 c GARBAGE COLLECT
1.78/1.83 c rational objective 0
2.17/2.22 c #Conflicts: 16000 | #Constraints: 8323
2.17/2.22 c #Conflicts: 17000 | #Constraints: 9323
2.17/2.22 c #Conflicts: 18000 | #Constraints: 10323
2.17/2.22 c INPROCESSING
2.17/2.22 c GARBAGE COLLECT
2.17/2.22 c rational objective 0
2.58/2.62 c #Conflicts: 19000 | #Constraints: 8343
2.58/2.62 c #Conflicts: 20000 | #Constraints: 9344
2.58/2.62 c #Conflicts: 21000 | #Constraints: 10344
2.58/2.62 c INPROCESSING
2.58/2.62 c GARBAGE COLLECT
2.58/2.62 c rational objective 0
2.98/3.09 c #Conflicts: 22000 | #Constraints: 8148
2.98/3.09 c #Conflicts: 23000 | #Constraints: 9148
2.98/3.09 c #Conflicts: 24000 | #Constraints: 10148
2.98/3.09 c #Conflicts: 25000 | #Constraints: 11148
2.98/3.09 c INPROCESSING
2.98/3.09 c GARBAGE COLLECT
2.98/3.09 c rational objective 0
3.57/3.66 c #Conflicts: 26000 | #Constraints: 8753
3.57/3.66 c #Conflicts: 27000 | #Constraints: 9753
3.57/3.66 c #Conflicts: 28000 | #Constraints: 10753
3.57/3.66 c #Conflicts: 29000 | #Constraints: 11753
3.57/3.66 c INPROCESSING
3.57/3.66 c GARBAGE COLLECT
3.57/3.66 c rational objective 0
4.17/4.20 c #Conflicts: 30000 | #Constraints: 9155
4.17/4.20 c #Conflicts: 31000 | #Constraints: 10155
4.17/4.20 c #Conflicts: 32000 | #Constraints: 11155
4.17/4.20 c #Conflicts: 33000 | #Constraints: 12155
4.17/4.20 c INPROCESSING
4.17/4.20 c GARBAGE COLLECT
4.17/4.20 c rational objective 0
4.67/4.79 c #Conflicts: 34000 | #Constraints: 9358
4.67/4.79 c #Conflicts: 35000 | #Constraints: 10358
4.67/4.79 c #Conflicts: 36000 | #Constraints: 11358
4.67/4.79 c #Conflicts: 37000 | #Constraints: 12358
4.67/4.79 c INPROCESSING
4.67/4.79 c GARBAGE COLLECT
4.67/4.79 c rational objective 0
5.36/5.44 c #Conflicts: 38000 | #Constraints: 9359
5.36/5.44 c #Conflicts: 39000 | #Constraints: 10359
5.36/5.44 c #Conflicts: 40000 | #Constraints: 11359
5.36/5.44 c #Conflicts: 41000 | #Constraints: 12359
5.36/5.44 c INPROCESSING
5.36/5.44 c GARBAGE COLLECT
5.36/5.44 c rational objective 0
6.06/6.17 c #Conflicts: 42000 | #Constraints: 9157
6.06/6.17 c #Conflicts: 43000 | #Constraints: 10157
6.06/6.17 c #Conflicts: 44000 | #Constraints: 11157
6.06/6.17 c #Conflicts: 45000 | #Constraints: 12157
6.06/6.17 c #Conflicts: 46000 | #Constraints: 13157
6.06/6.17 c INPROCESSING
6.06/6.17 c GARBAGE COLLECT
6.06/6.17 c rational objective 0
6.86/6.92 c #Conflicts: 47000 | #Constraints: 9755
6.86/6.92 c #Conflicts: 48000 | #Constraints: 10755
6.86/6.92 c #Conflicts: 49000 | #Constraints: 11755
6.86/6.92 c #Conflicts: 50000 | #Constraints: 12755
6.86/6.92 c #Conflicts: 51000 | #Constraints: 13755
6.86/6.92 c INPROCESSING
6.86/6.92 c GARBAGE COLLECT
6.86/6.92 c rational objective 0
7.56/7.65 c #Conflicts: 52000 | #Constraints: 10156
7.56/7.65 c #Conflicts: 53000 | #Constraints: 11156
7.56/7.65 c #Conflicts: 54000 | #Constraints: 12156
7.56/7.65 c #Conflicts: 55000 | #Constraints: 13156
7.56/7.65 c #Conflicts: 56000 | #Constraints: 14156
7.56/7.65 c INPROCESSING
7.56/7.65 c GARBAGE COLLECT
7.56/7.65 c rational objective 0
8.45/8.52 c #Conflicts: 57000 | #Constraints: 10358
8.45/8.52 c #Conflicts: 58000 | #Constraints: 11358
8.45/8.52 c #Conflicts: 59000 | #Constraints: 12358
8.45/8.52 c #Conflicts: 60000 | #Constraints: 13358
8.45/8.52 c #Conflicts: 61000 | #Constraints: 14358
8.45/8.52 c INPROCESSING
8.45/8.52 c GARBAGE COLLECT
8.45/8.52 c rational objective 0
9.55/9.61 c #Conflicts: 62000 | #Constraints: 10363
9.55/9.61 c #Conflicts: 63000 | #Constraints: 11363
9.55/9.61 c #Conflicts: 64000 | #Constraints: 12363
9.55/9.61 c #Conflicts: 65000 | #Constraints: 13363
9.55/9.61 c #Conflicts: 66000 | #Constraints: 14363
9.55/9.61 c INPROCESSING
9.55/9.61 c GARBAGE COLLECT
9.55/9.61 c rational objective 0
10.36/10.49 c #Conflicts: 67000 | #Constraints: 10170
10.36/10.49 c #Conflicts: 68000 | #Constraints: 11170
10.36/10.49 c #Conflicts: 69000 | #Constraints: 12170
10.36/10.49 c #Conflicts: 70000 | #Constraints: 13170
10.36/10.49 c #Conflicts: 71000 | #Constraints: 14170
10.36/10.49 c #Conflicts: 72000 | #Constraints: 15170
10.36/10.49 c INPROCESSING
10.36/10.49 c GARBAGE COLLECT
10.36/10.49 c rational objective 0
11.25/11.36 c #Conflicts: 73000 | #Constraints: 10761
11.25/11.36 c #Conflicts: 74000 | #Constraints: 11761
11.25/11.36 c #Conflicts: 75000 | #Constraints: 12761
11.25/11.36 c #Conflicts: 76000 | #Constraints: 13761
11.25/11.36 c #Conflicts: 77000 | #Constraints: 14761
11.25/11.36 c #Conflicts: 78000 | #Constraints: 15761
11.25/11.36 c INPROCESSING
11.25/11.36 c GARBAGE COLLECT
11.25/11.36 c rational objective 0
12.25/12.38 c #Conflicts: 79000 | #Constraints: 11169
12.25/12.38 c #Conflicts: 80000 | #Constraints: 12169
12.25/12.38 c #Conflicts: 81000 | #Constraints: 13169
12.25/12.38 c #Conflicts: 82000 | #Constraints: 14169
12.25/12.38 c #Conflicts: 83000 | #Constraints: 15169
12.25/12.38 c #Conflicts: 84000 | #Constraints: 16169
12.25/12.38 c INPROCESSING
12.25/12.38 c GARBAGE COLLECT
12.25/12.38 c rational objective 0
13.44/13.56 c #Conflicts: 85000 | #Constraints: 11362
13.44/13.56 c #Conflicts: 86000 | #Constraints: 12362
13.44/13.56 c #Conflicts: 87000 | #Constraints: 13362
13.44/13.56 c #Conflicts: 88000 | #Constraints: 14362
13.44/13.56 c #Conflicts: 89000 | #Constraints: 15362
13.44/13.56 c #Conflicts: 90000 | #Constraints: 16362
13.44/13.56 c INPROCESSING
13.44/13.56 c GARBAGE COLLECT
13.44/13.56 c rational objective 0
14.84/14.96 c #Conflicts: 91000 | #Constraints: 11365
14.84/14.96 c #Conflicts: 92000 | #Constraints: 12365
14.84/14.96 c #Conflicts: 93000 | #Constraints: 13365
14.84/14.96 c #Conflicts: 94000 | #Constraints: 14366
14.84/14.96 c #Conflicts: 95000 | #Constraints: 15366
14.84/14.96 c #Conflicts: 96000 | #Constraints: 16366
14.84/14.96 c INPROCESSING
14.84/14.96 c GARBAGE COLLECT
14.84/14.96 c rational objective 0
16.54/16.64 c #Conflicts: 97000 | #Constraints: 11166
16.54/16.64 c #Conflicts: 98000 | #Constraints: 12166
16.54/16.64 c #Conflicts: 99000 | #Constraints: 13166
16.54/16.64 c #Conflicts: 100000 | #Constraints: 14166
16.54/16.64 c #Conflicts: 101000 | #Constraints: 15166
16.54/16.64 c #Conflicts: 102000 | #Constraints: 16166
16.54/16.64 c #Conflicts: 103000 | #Constraints: 17166
16.54/16.64 c INPROCESSING
16.54/16.64 c GARBAGE COLLECT
16.54/16.64 c rational objective 0
17.94/18.04 c #Conflicts: 104000 | #Constraints: 11757
17.94/18.04 c #Conflicts: 105000 | #Constraints: 12757
17.94/18.04 c #Conflicts: 106000 | #Constraints: 13757
17.94/18.04 c #Conflicts: 107000 | #Constraints: 14757
17.94/18.04 c #Conflicts: 108000 | #Constraints: 15757
17.94/18.04 c #Conflicts: 109000 | #Constraints: 16757
17.94/18.04 c #Conflicts: 110000 | #Constraints: 17757
17.94/18.04 c INPROCESSING
17.94/18.04 c GARBAGE COLLECT
17.94/18.04 c rational objective 0
19.42/19.55 c #Conflicts: 111000 | #Constraints: 12163
19.42/19.55 c #Conflicts: 112000 | #Constraints: 13163
19.42/19.55 c #Conflicts: 113000 | #Constraints: 14163
19.42/19.55 c #Conflicts: 114000 | #Constraints: 15163
19.42/19.55 c #Conflicts: 115000 | #Constraints: 16163
19.42/19.55 c #Conflicts: 116000 | #Constraints: 17163
19.42/19.55 c #Conflicts: 117000 | #Constraints: 18163
19.42/19.55 c INPROCESSING
19.42/19.55 c GARBAGE COLLECT
19.42/19.55 c rational objective 0
21.12/21.28 c #Conflicts: 118000 | #Constraints: 12367
21.12/21.28 c #Conflicts: 119000 | #Constraints: 13367
21.12/21.28 c #Conflicts: 120000 | #Constraints: 14367
21.12/21.28 c #Conflicts: 121000 | #Constraints: 15367
21.12/21.28 c #Conflicts: 122000 | #Constraints: 16367
21.12/21.28 c #Conflicts: 123000 | #Constraints: 17367
21.12/21.28 c #Conflicts: 124000 | #Constraints: 18367
21.12/21.28 c INPROCESSING
21.12/21.28 c GARBAGE COLLECT
21.12/21.28 c rational objective 0
22.82/22.94 c #Conflicts: 125000 | #Constraints: 12367
22.82/22.94 c #Conflicts: 126000 | #Constraints: 13367
22.82/22.94 c #Conflicts: 127000 | #Constraints: 14367
22.82/22.94 c #Conflicts: 128000 | #Constraints: 15367
22.82/22.94 c #Conflicts: 129000 | #Constraints: 16367
22.82/22.94 c #Conflicts: 130000 | #Constraints: 17367
22.82/22.94 c #Conflicts: 131000 | #Constraints: 18367
22.82/22.94 c INPROCESSING
22.82/22.94 c GARBAGE COLLECT
22.82/22.94 c rational objective 0
24.71/24.80 c #Conflicts: 132000 | #Constraints: 12169
24.71/24.80 c #Conflicts: 133000 | #Constraints: 13169
24.71/24.80 c #Conflicts: 134000 | #Constraints: 14169
24.71/24.80 c #Conflicts: 135000 | #Constraints: 15169
24.71/24.80 c #Conflicts: 136000 | #Constraints: 16169
24.71/24.80 c #Conflicts: 137000 | #Constraints: 17169
24.71/24.80 c #Conflicts: 138000 | #Constraints: 18169
24.71/24.80 c #Conflicts: 139000 | #Constraints: 19169
24.71/24.80 c INPROCESSING
24.71/24.80 c GARBAGE COLLECT
24.71/24.80 c rational objective 0
26.81/26.94 c #Conflicts: 140000 | #Constraints: 12769
26.81/26.94 c #Conflicts: 141000 | #Constraints: 13769
26.81/26.94 c #Conflicts: 142000 | #Constraints: 14769
26.81/26.94 c #Conflicts: 143000 | #Constraints: 15769
26.81/26.94 c #Conflicts: 144000 | #Constraints: 16769
26.81/26.94 c #Conflicts: 145000 | #Constraints: 17769
26.81/26.94 c #Conflicts: 146000 | #Constraints: 18769
26.81/26.94 c #Conflicts: 147000 | #Constraints: 19769
26.81/26.94 c INPROCESSING
26.81/26.94 c GARBAGE COLLECT
26.81/26.94 c rational objective 0
29.10/29.23 c #Conflicts: 148000 | #Constraints: 13173
29.10/29.23 c #Conflicts: 149000 | #Constraints: 14173
29.10/29.23 c #Conflicts: 150000 | #Constraints: 15173
29.10/29.23 c #Conflicts: 151000 | #Constraints: 16173
29.10/29.23 c #Conflicts: 152000 | #Constraints: 17173
29.10/29.23 c #Conflicts: 153000 | #Constraints: 18173
29.10/29.23 c #Conflicts: 154000 | #Constraints: 19173
29.10/29.23 c #Conflicts: 155000 | #Constraints: 20173
29.10/29.23 c INPROCESSING
29.10/29.23 c GARBAGE COLLECT
29.10/29.23 c rational objective 0
31.00/31.19 c #Conflicts: 156000 | #Constraints: 13375
31.00/31.19 c #Conflicts: 157000 | #Constraints: 14375
31.00/31.19 c #Conflicts: 158000 | #Constraints: 15375
31.00/31.19 c #Conflicts: 159000 | #Constraints: 16375
31.00/31.19 c #Conflicts: 160000 | #Constraints: 17375
31.00/31.19 c #Conflicts: 161000 | #Constraints: 18375
31.00/31.19 c #Conflicts: 162000 | #Constraints: 19375
31.00/31.19 c #Conflicts: 163000 | #Constraints: 20375
31.00/31.19 c INPROCESSING
31.00/31.19 c GARBAGE COLLECT
31.00/31.19 c rational objective 0
33.09/33.28 c #Conflicts: 164000 | #Constraints: 13371
33.09/33.28 c #Conflicts: 165000 | #Constraints: 14371
33.09/33.28 c #Conflicts: 166000 | #Constraints: 15371
33.09/33.28 c #Conflicts: 167000 | #Constraints: 16371
33.09/33.28 c #Conflicts: 168000 | #Constraints: 17371
33.09/33.28 c #Conflicts: 169000 | #Constraints: 18371
33.09/33.28 c #Conflicts: 170000 | #Constraints: 19371
33.09/33.28 c #Conflicts: 171000 | #Constraints: 20371
33.09/33.28 c INPROCESSING
33.09/33.28 c GARBAGE COLLECT
33.09/33.28 c rational objective 0
35.48/35.68 c #Conflicts: 172000 | #Constraints: 13165
35.48/35.68 c #Conflicts: 173000 | #Constraints: 14165
35.48/35.68 c #Conflicts: 174000 | #Constraints: 15165
35.48/35.68 c #Conflicts: 175000 | #Constraints: 16165
35.48/35.68 c #Conflicts: 176000 | #Constraints: 17165
35.48/35.68 c #Conflicts: 177000 | #Constraints: 18165
35.48/35.68 c #Conflicts: 178000 | #Constraints: 19165
35.48/35.68 c #Conflicts: 179000 | #Constraints: 20165
35.48/35.68 c #Conflicts: 180000 | #Constraints: 21165
35.48/35.68 c INPROCESSING
35.48/35.68 c GARBAGE COLLECT
35.48/35.68 c rational objective 0
37.68/37.88 c #Conflicts: 181000 | #Constraints: 13770
37.68/37.88 c #Conflicts: 182000 | #Constraints: 14770
37.68/37.88 c #Conflicts: 183000 | #Constraints: 15770
37.68/37.88 c #Conflicts: 184000 | #Constraints: 16770
37.68/37.88 c #Conflicts: 185000 | #Constraints: 17770
37.68/37.88 c #Conflicts: 186000 | #Constraints: 18770
37.68/37.88 c #Conflicts: 187000 | #Constraints: 19770
37.68/37.88 c #Conflicts: 188000 | #Constraints: 20770
37.68/37.88 c #Conflicts: 189000 | #Constraints: 21770
37.68/37.88 c INPROCESSING
37.68/37.88 c GARBAGE COLLECT
37.68/37.88 c rational objective 0
40.17/40.38 c #Conflicts: 190000 | #Constraints: 14170
40.17/40.38 c #Conflicts: 191000 | #Constraints: 15170
40.17/40.38 c #Conflicts: 192000 | #Constraints: 16170
40.17/40.38 c #Conflicts: 193000 | #Constraints: 17170
40.17/40.38 c #Conflicts: 194000 | #Constraints: 18170
40.17/40.38 c #Conflicts: 195000 | #Constraints: 19170
40.17/40.38 c #Conflicts: 196000 | #Constraints: 20170
40.17/40.38 c #Conflicts: 197000 | #Constraints: 21170
40.17/40.38 c #Conflicts: 198000 | #Constraints: 22170
40.17/40.38 c INPROCESSING
40.17/40.38 c GARBAGE COLLECT
40.17/40.38 c rational objective 0
42.87/43.04 c #Conflicts: 199000 | #Constraints: 14371
42.87/43.04 c #Conflicts: 200000 | #Constraints: 15371
42.87/43.04 c #Conflicts: 201000 | #Constraints: 16371
42.87/43.04 c #Conflicts: 202000 | #Constraints: 17371
42.87/43.04 c #Conflicts: 203000 | #Constraints: 18371
42.87/43.04 c #Conflicts: 204000 | #Constraints: 19371
42.87/43.04 c #Conflicts: 205000 | #Constraints: 20371
42.87/43.04 c #Conflicts: 206000 | #Constraints: 21371
42.87/43.04 c #Conflicts: 207000 | #Constraints: 22371
42.87/43.04 c INPROCESSING
42.87/43.04 c GARBAGE COLLECT
42.87/43.04 c rational objective 0
45.56/45.76 c #Conflicts: 208000 | #Constraints: 14371
45.56/45.76 c #Conflicts: 209000 | #Constraints: 15371
45.56/45.76 c #Conflicts: 210000 | #Constraints: 16373
45.56/45.76 c #Conflicts: 211000 | #Constraints: 17373
45.56/45.76 c #Conflicts: 212000 | #Constraints: 18373
45.56/45.76 c #Conflicts: 213000 | #Constraints: 19373
45.56/45.76 c #Conflicts: 214000 | #Constraints: 20373
45.56/45.76 c #Conflicts: 215000 | #Constraints: 21373
45.56/45.76 c #Conflicts: 216000 | #Constraints: 22373
45.56/45.76 c INPROCESSING
45.56/45.76 c GARBAGE COLLECT
45.56/45.76 c rational objective 0
48.35/48.51 c #Conflicts: 217000 | #Constraints: 14173
48.35/48.51 c #Conflicts: 218000 | #Constraints: 15174
48.35/48.51 c #Conflicts: 219000 | #Constraints: 16174
48.35/48.51 c #Conflicts: 220000 | #Constraints: 17174
48.35/48.51 c #Conflicts: 221000 | #Constraints: 18174
48.35/48.51 c #Conflicts: 222000 | #Constraints: 19174
48.35/48.51 c #Conflicts: 223000 | #Constraints: 20174
48.35/48.51 c #Conflicts: 224000 | #Constraints: 21174
48.35/48.51 c #Conflicts: 225000 | #Constraints: 22174
48.35/48.51 c #Conflicts: 226000 | #Constraints: 23174
48.35/48.51 c INPROCESSING
48.35/48.51 c GARBAGE COLLECT
48.35/48.51 c rational objective 0
51.24/51.48 c #Conflicts: 227000 | #Constraints: 14776
51.24/51.48 c #Conflicts: 228000 | #Constraints: 15776
51.24/51.48 c #Conflicts: 229000 | #Constraints: 16776
51.24/51.48 c #Conflicts: 230000 | #Constraints: 17776
51.24/51.48 c #Conflicts: 231000 | #Constraints: 18776
51.24/51.48 c #Conflicts: 232000 | #Constraints: 19776
51.24/51.48 c #Conflicts: 233000 | #Constraints: 20776
51.24/51.48 c #Conflicts: 234000 | #Constraints: 21776
51.24/51.48 c #Conflicts: 235000 | #Constraints: 22777
51.24/51.48 c #Conflicts: 236000 | #Constraints: 23777
51.24/51.48 c INPROCESSING
51.24/51.48 c GARBAGE COLLECT
51.24/51.48 c rational objective 0
54.33/54.55 c #Conflicts: 237000 | #Constraints: 15174
54.33/54.55 c #Conflicts: 238000 | #Constraints: 16174
54.33/54.55 c #Conflicts: 239000 | #Constraints: 17174
54.33/54.55 c #Conflicts: 240000 | #Constraints: 18174
54.33/54.55 c #Conflicts: 241000 | #Constraints: 19174
54.33/54.55 c #Conflicts: 242000 | #Constraints: 20174
54.33/54.55 c #Conflicts: 243000 | #Constraints: 21174
54.33/54.55 c #Conflicts: 244000 | #Constraints: 22174
54.33/54.55 c #Conflicts: 245000 | #Constraints: 23174
54.33/54.55 c #Conflicts: 246000 | #Constraints: 24174
54.33/54.55 c INPROCESSING
54.33/54.55 c GARBAGE COLLECT
54.33/54.55 c rational objective 0
57.43/57.62 c #Conflicts: 247000 | #Constraints: 15369
57.43/57.62 c #Conflicts: 248000 | #Constraints: 16369
57.43/57.62 c #Conflicts: 249000 | #Constraints: 17369
57.43/57.62 c #Conflicts: 250000 | #Constraints: 18369
57.43/57.62 c #Conflicts: 251000 | #Constraints: 19369
57.43/57.62 c #Conflicts: 252000 | #Constraints: 20369
57.43/57.62 c #Conflicts: 253000 | #Constraints: 21369
57.43/57.62 c #Conflicts: 254000 | #Constraints: 22369
57.43/57.62 c #Conflicts: 255000 | #Constraints: 23369
57.43/57.62 c #Conflicts: 256000 | #Constraints: 24369
57.43/57.62 c INPROCESSING
57.43/57.62 c GARBAGE COLLECT
57.43/57.62 c rational objective 0
60.61/60.82 c #Conflicts: 257000 | #Constraints: 15371
60.61/60.82 c #Conflicts: 258000 | #Constraints: 16371
60.61/60.82 c #Conflicts: 259000 | #Constraints: 17371
60.61/60.82 c #Conflicts: 260000 | #Constraints: 18371
60.61/60.82 c #Conflicts: 261000 | #Constraints: 19371
60.61/60.82 c #Conflicts: 262000 | #Constraints: 20371
60.61/60.82 c #Conflicts: 263000 | #Constraints: 21371
60.61/60.82 c #Conflicts: 264000 | #Constraints: 22371
60.61/60.82 c #Conflicts: 265000 | #Constraints: 23371
60.61/60.82 c #Conflicts: 266000 | #Constraints: 24371
60.61/60.82 c INPROCESSING
60.61/60.82 c GARBAGE COLLECT
60.61/60.82 c rational objective 0
63.71/63.98 c #Conflicts: 267000 | #Constraints: 15171
63.71/63.98 c #Conflicts: 268000 | #Constraints: 16171
63.71/63.98 c #Conflicts: 269000 | #Constraints: 17171
63.71/63.98 c #Conflicts: 270000 | #Constraints: 18171
63.71/63.98 c #Conflicts: 271000 | #Constraints: 19171
63.71/63.98 c #Conflicts: 272000 | #Constraints: 20171
63.71/63.98 c #Conflicts: 273000 | #Constraints: 21171
63.71/63.98 c #Conflicts: 274000 | #Constraints: 22171
63.71/63.98 c #Conflicts: 275000 | #Constraints: 23171
63.71/63.98 c #Conflicts: 276000 | #Constraints: 24171
63.71/63.98 c #Conflicts: 277000 | #Constraints: 25171
63.71/63.98 c INPROCESSING
63.71/63.98 c GARBAGE COLLECT
63.71/63.98 c rational objective 0
67.00/67.25 c #Conflicts: 278000 | #Constraints: 15772
67.00/67.25 c #Conflicts: 279000 | #Constraints: 16772
67.00/67.25 c #Conflicts: 280000 | #Constraints: 17772
67.00/67.25 c #Conflicts: 281000 | #Constraints: 18772
67.00/67.25 c #Conflicts: 282000 | #Constraints: 19772
67.00/67.25 c #Conflicts: 283000 | #Constraints: 20772
67.00/67.25 c #Conflicts: 284000 | #Constraints: 21772
67.00/67.25 c #Conflicts: 285000 | #Constraints: 22772
67.00/67.25 c #Conflicts: 286000 | #Constraints: 23772
67.00/67.25 c #Conflicts: 287000 | #Constraints: 24772
67.00/67.25 c #Conflicts: 288000 | #Constraints: 25772
67.00/67.25 c INPROCESSING
67.00/67.25 c GARBAGE COLLECT
67.00/67.25 c rational objective 0
70.49/70.72 c #Conflicts: 289000 | #Constraints: 16173
70.49/70.72 c #Conflicts: 290000 | #Constraints: 17173
70.49/70.72 c #Conflicts: 291000 | #Constraints: 18173
70.49/70.72 c #Conflicts: 292000 | #Constraints: 19173
70.49/70.72 c #Conflicts: 293000 | #Constraints: 20173
70.49/70.72 c #Conflicts: 294000 | #Constraints: 21173
70.49/70.72 c #Conflicts: 295000 | #Constraints: 22173
70.49/70.72 c #Conflicts: 296000 | #Constraints: 23173
70.49/70.72 c #Conflicts: 297000 | #Constraints: 24173
70.49/70.72 c #Conflicts: 298000 | #Constraints: 25173
70.49/70.72 c #Conflicts: 299000 | #Constraints: 26173
70.49/70.72 c INPROCESSING
70.49/70.72 c GARBAGE COLLECT
70.49/70.72 c rational objective 0
73.88/74.13 c #Conflicts: 300000 | #Constraints: 16373
73.88/74.13 c #Conflicts: 301000 | #Constraints: 17373
73.88/74.13 c #Conflicts: 302000 | #Constraints: 18373
73.88/74.13 c #Conflicts: 303000 | #Constraints: 19373
73.88/74.13 c #Conflicts: 304000 | #Constraints: 20373
73.88/74.13 c #Conflicts: 305000 | #Constraints: 21373
73.88/74.13 c #Conflicts: 306000 | #Constraints: 22373
73.88/74.13 c #Conflicts: 307000 | #Constraints: 23373
73.88/74.13 c #Conflicts: 308000 | #Constraints: 24373
73.88/74.13 c #Conflicts: 309000 | #Constraints: 25373
73.88/74.13 c #Conflicts: 310000 | #Constraints: 26373
73.88/74.13 c INPROCESSING
73.88/74.13 c GARBAGE COLLECT
73.88/74.13 c rational objective 0
77.18/77.49 c #Conflicts: 311000 | #Constraints: 16371
77.18/77.49 c #Conflicts: 312000 | #Constraints: 17371
77.18/77.49 c #Conflicts: 313000 | #Constraints: 18371
77.18/77.49 c #Conflicts: 314000 | #Constraints: 19371
77.18/77.49 c #Conflicts: 315000 | #Constraints: 20371
77.18/77.49 c #Conflicts: 316000 | #Constraints: 21371
77.18/77.49 c #Conflicts: 317000 | #Constraints: 22371
77.18/77.49 c #Conflicts: 318000 | #Constraints: 23371
77.18/77.49 c #Conflicts: 319000 | #Constraints: 24371
77.18/77.49 c #Conflicts: 320000 | #Constraints: 25371
77.18/77.49 c #Conflicts: 321000 | #Constraints: 26371
77.18/77.49 c INPROCESSING
77.18/77.49 c GARBAGE COLLECT
77.18/77.49 c rational objective 0
80.77/81.08 c #Conflicts: 322000 | #Constraints: 16178
80.77/81.08 c #Conflicts: 323000 | #Constraints: 17178
80.77/81.08 c #Conflicts: 324000 | #Constraints: 18178
80.77/81.08 c #Conflicts: 325000 | #Constraints: 19178
80.77/81.08 c #Conflicts: 326000 | #Constraints: 20178
80.77/81.08 c #Conflicts: 327000 | #Constraints: 21178
80.77/81.08 c #Conflicts: 328000 | #Constraints: 22178
80.77/81.08 c #Conflicts: 329000 | #Constraints: 23178
80.77/81.08 c #Conflicts: 330000 | #Constraints: 24178
80.77/81.08 c #Conflicts: 331000 | #Constraints: 25178
80.77/81.08 c #Conflicts: 332000 | #Constraints: 26178
80.77/81.08 c #Conflicts: 333000 | #Constraints: 27178
80.77/81.08 c INPROCESSING
80.77/81.08 c GARBAGE COLLECT
80.77/81.08 c rational objective 0
84.36/84.68 c #Conflicts: 334000 | #Constraints: 16780
84.36/84.68 c #Conflicts: 335000 | #Constraints: 17780
84.36/84.68 c #Conflicts: 336000 | #Constraints: 18780
84.36/84.68 c #Conflicts: 337000 | #Constraints: 19781
84.36/84.68 c #Conflicts: 338000 | #Constraints: 20781
84.36/84.68 c #Conflicts: 339000 | #Constraints: 21781
84.36/84.68 c #Conflicts: 340000 | #Constraints: 22781
84.36/84.68 c #Conflicts: 341000 | #Constraints: 23781
84.36/84.68 c #Conflicts: 342000 | #Constraints: 24781
84.36/84.68 c #Conflicts: 343000 | #Constraints: 25781
84.36/84.68 c #Conflicts: 344000 | #Constraints: 26781
84.36/84.68 c #Conflicts: 345000 | #Constraints: 27781
84.36/84.68 c INPROCESSING
84.36/84.68 c GARBAGE COLLECT
84.36/84.68 c rational objective 0
88.04/88.37 c #Conflicts: 346000 | #Constraints: 17182
88.04/88.37 c #Conflicts: 347000 | #Constraints: 18182
88.04/88.37 c #Conflicts: 348000 | #Constraints: 19182
88.04/88.37 c #Conflicts: 349000 | #Constraints: 20182
88.04/88.37 c #Conflicts: 350000 | #Constraints: 21182
88.04/88.37 c #Conflicts: 351000 | #Constraints: 22182
88.04/88.37 c #Conflicts: 352000 | #Constraints: 23182
88.04/88.37 c #Conflicts: 353000 | #Constraints: 24182
88.04/88.37 c #Conflicts: 354000 | #Constraints: 25182
88.04/88.37 c #Conflicts: 355000 | #Constraints: 26182
88.04/88.37 c #Conflicts: 356000 | #Constraints: 27182
88.04/88.37 c #Conflicts: 357000 | #Constraints: 28182
88.04/88.37 c INPROCESSING
88.04/88.37 c GARBAGE COLLECT
88.04/88.37 c rational objective 0
91.74/92.09 c #Conflicts: 358000 | #Constraints: 17378
91.74/92.09 c #Conflicts: 359000 | #Constraints: 18378
91.74/92.09 c #Conflicts: 360000 | #Constraints: 19378
91.74/92.09 c #Conflicts: 361000 | #Constraints: 20378
91.74/92.09 c #Conflicts: 362000 | #Constraints: 21378
91.74/92.09 c #Conflicts: 363000 | #Constraints: 22378
91.74/92.09 c #Conflicts: 364000 | #Constraints: 23378
91.74/92.09 c #Conflicts: 365000 | #Constraints: 24378
91.74/92.09 c #Conflicts: 366000 | #Constraints: 25378
91.74/92.09 c #Conflicts: 367000 | #Constraints: 26378
91.74/92.09 c #Conflicts: 368000 | #Constraints: 27378
91.74/92.09 c #Conflicts: 369000 | #Constraints: 28378
91.74/92.09 c INPROCESSING
91.74/92.09 c GARBAGE COLLECT
91.74/92.09 c rational objective 0
95.52/95.83 c #Conflicts: 370000 | #Constraints: 17377
95.52/95.83 c #Conflicts: 371000 | #Constraints: 18377
95.52/95.83 c #Conflicts: 372000 | #Constraints: 19377
95.52/95.83 c #Conflicts: 373000 | #Constraints: 20377
95.52/95.83 c #Conflicts: 374000 | #Constraints: 21377
95.52/95.83 c #Conflicts: 375000 | #Constraints: 22377
95.52/95.83 c #Conflicts: 376000 | #Constraints: 23377
95.52/95.83 c #Conflicts: 377000 | #Constraints: 24377
95.52/95.83 c #Conflicts: 378000 | #Constraints: 25377
95.52/95.83 c #Conflicts: 379000 | #Constraints: 26377
95.52/95.83 c #Conflicts: 380000 | #Constraints: 27377
95.52/95.83 c #Conflicts: 381000 | #Constraints: 28377
95.52/95.83 c INPROCESSING
95.52/95.83 c GARBAGE COLLECT
95.52/95.83 c rational objective 0
99.31/99.67 c #Conflicts: 382000 | #Constraints: 17179
99.31/99.67 c #Conflicts: 383000 | #Constraints: 18179
99.31/99.67 c #Conflicts: 384000 | #Constraints: 19179
99.31/99.67 c #Conflicts: 385000 | #Constraints: 20179
99.31/99.67 c #Conflicts: 386000 | #Constraints: 21179
99.31/99.67 c #Conflicts: 387000 | #Constraints: 22179
99.31/99.67 c #Conflicts: 388000 | #Constraints: 23179
99.31/99.67 c #Conflicts: 389000 | #Constraints: 24179
99.31/99.67 c #Conflicts: 390000 | #Constraints: 25179
99.31/99.67 c #Conflicts: 391000 | #Constraints: 26179
99.31/99.67 c #Conflicts: 392000 | #Constraints: 27179
99.31/99.67 c #Conflicts: 393000 | #Constraints: 28179
99.31/99.67 c #Conflicts: 394000 | #Constraints: 29179
99.31/99.67 c INPROCESSING
99.31/99.67 c GARBAGE COLLECT
99.31/99.67 c rational objective 0
103.31/103.67 c #Conflicts: 395000 | #Constraints: 17778
103.31/103.67 c #Conflicts: 396000 | #Constraints: 18778
103.31/103.67 c #Conflicts: 397000 | #Constraints: 19778
103.31/103.67 c #Conflicts: 398000 | #Constraints: 20778
103.31/103.67 c #Conflicts: 399000 | #Constraints: 21778
103.31/103.67 c #Conflicts: 400000 | #Constraints: 22778
103.31/103.67 c #Conflicts: 401000 | #Constraints: 23778
103.31/103.67 c #Conflicts: 402000 | #Constraints: 24778
103.31/103.67 c #Conflicts: 403000 | #Constraints: 25778
103.31/103.67 c #Conflicts: 404000 | #Constraints: 26778
103.31/103.67 c #Conflicts: 405000 | #Constraints: 27778
103.31/103.67 c #Conflicts: 406000 | #Constraints: 28778
103.31/103.67 c #Conflicts: 407000 | #Constraints: 29778
103.31/103.67 c INPROCESSING
103.31/103.67 c GARBAGE COLLECT
103.31/103.67 c rational objective 0
107.09/107.50 c #Conflicts: 408000 | #Constraints: 18181
107.09/107.50 c #Conflicts: 409000 | #Constraints: 19181
107.09/107.50 c #Conflicts: 410000 | #Constraints: 20181
107.09/107.50 c #Conflicts: 411000 | #Constraints: 21181
107.09/107.50 c #Conflicts: 412000 | #Constraints: 22181
107.09/107.50 c #Conflicts: 413000 | #Constraints: 23181
107.09/107.50 c #Conflicts: 414000 | #Constraints: 24181
107.09/107.50 c #Conflicts: 415000 | #Constraints: 25181
107.09/107.50 c #Conflicts: 416000 | #Constraints: 26181
107.09/107.50 c #Conflicts: 417000 | #Constraints: 27181
107.09/107.50 c #Conflicts: 418000 | #Constraints: 28181
107.09/107.50 c #Conflicts: 419000 | #Constraints: 29181
107.09/107.50 c #Conflicts: 420000 | #Constraints: 30181
107.09/107.50 c INPROCESSING
107.09/107.50 c GARBAGE COLLECT
107.09/107.50 c rational objective 0
111.08/111.41 c #Conflicts: 421000 | #Constraints: 18382
111.08/111.41 c #Conflicts: 422000 | #Constraints: 19382
111.08/111.41 c #Conflicts: 423000 | #Constraints: 20382
111.08/111.41 c #Conflicts: 424000 | #Constraints: 21382
111.08/111.41 c #Conflicts: 425000 | #Constraints: 22382
111.08/111.41 c #Conflicts: 426000 | #Constraints: 23382
111.08/111.41 c #Conflicts: 427000 | #Constraints: 24382
111.08/111.41 c #Conflicts: 428000 | #Constraints: 25382
111.08/111.41 c #Conflicts: 429000 | #Constraints: 26382
111.08/111.41 c #Conflicts: 430000 | #Constraints: 27382
111.08/111.41 c #Conflicts: 431000 | #Constraints: 28382
111.08/111.41 c #Conflicts: 432000 | #Constraints: 29382
111.08/111.41 c #Conflicts: 433000 | #Constraints: 30382
111.08/111.41 c INPROCESSING
111.08/111.41 c GARBAGE COLLECT
111.08/111.41 c rational objective 0
115.07/115.40 c #Conflicts: 434000 | #Constraints: 18377
115.07/115.40 c #Conflicts: 435000 | #Constraints: 19377
115.07/115.40 c #Conflicts: 436000 | #Constraints: 20377
115.07/115.40 c #Conflicts: 437000 | #Constraints: 21377
115.07/115.40 c #Conflicts: 438000 | #Constraints: 22377
115.07/115.40 c #Conflicts: 439000 | #Constraints: 23377
115.07/115.40 c #Conflicts: 440000 | #Constraints: 24377
115.07/115.40 c #Conflicts: 441000 | #Constraints: 25377
115.07/115.40 c #Conflicts: 442000 | #Constraints: 26377
115.07/115.40 c #Conflicts: 443000 | #Constraints: 27377
115.07/115.40 c #Conflicts: 444000 | #Constraints: 28377
115.07/115.40 c #Conflicts: 445000 | #Constraints: 29377
115.07/115.40 c #Conflicts: 446000 | #Constraints: 30377
115.07/115.40 c INPROCESSING
115.07/115.40 c GARBAGE COLLECT
115.07/115.40 c rational objective 0
119.06/119.48 c #Conflicts: 447000 | #Constraints: 18180
119.06/119.48 c #Conflicts: 448000 | #Constraints: 19180
119.06/119.48 c #Conflicts: 449000 | #Constraints: 20180
119.06/119.48 c #Conflicts: 450000 | #Constraints: 21180
119.06/119.48 c #Conflicts: 451000 | #Constraints: 22180
119.06/119.48 c #Conflicts: 452000 | #Constraints: 23180
119.06/119.48 c #Conflicts: 453000 | #Constraints: 24180
119.06/119.48 c #Conflicts: 454000 | #Constraints: 25180
119.06/119.48 c #Conflicts: 455000 | #Constraints: 26180
119.06/119.48 c #Conflicts: 456000 | #Constraints: 27180
119.06/119.48 c #Conflicts: 457000 | #Constraints: 28180
119.06/119.48 c #Conflicts: 458000 | #Constraints: 29180
119.06/119.48 c #Conflicts: 459000 | #Constraints: 30180
119.06/119.48 c #Conflicts: 460000 | #Constraints: 31180
119.06/119.48 c INPROCESSING
119.06/119.48 c GARBAGE COLLECT
119.06/119.48 c rational objective 0
123.25/123.68 c #Conflicts: 461000 | #Constraints: 18781
123.25/123.68 c #Conflicts: 462000 | #Constraints: 19781
123.25/123.68 c #Conflicts: 463000 | #Constraints: 20781
123.25/123.68 c #Conflicts: 464000 | #Constraints: 21781
123.25/123.68 c #Conflicts: 465000 | #Constraints: 22781
123.25/123.68 c #Conflicts: 466000 | #Constraints: 23781
123.25/123.68 c #Conflicts: 467000 | #Constraints: 24781
123.25/123.68 c #Conflicts: 468000 | #Constraints: 25781
123.25/123.68 c #Conflicts: 469000 | #Constraints: 26781
123.25/123.68 c #Conflicts: 470000 | #Constraints: 27781
123.25/123.68 c #Conflicts: 471000 | #Constraints: 28781
123.25/123.68 c #Conflicts: 472000 | #Constraints: 29781
123.25/123.68 c #Conflicts: 473000 | #Constraints: 30781
123.25/123.68 c #Conflicts: 474000 | #Constraints: 31781
123.25/123.68 c INPROCESSING
123.25/123.68 c GARBAGE COLLECT
123.25/123.68 c rational objective 0
127.43/127.89 c #Conflicts: 475000 | #Constraints: 19182
127.43/127.89 c #Conflicts: 476000 | #Constraints: 20182
127.43/127.89 c #Conflicts: 477000 | #Constraints: 21182
127.43/127.89 c #Conflicts: 478000 | #Constraints: 22182
127.43/127.89 c #Conflicts: 479000 | #Constraints: 23182
127.43/127.89 c #Conflicts: 480000 | #Constraints: 24182
127.43/127.89 c #Conflicts: 481000 | #Constraints: 25182
127.43/127.89 c #Conflicts: 482000 | #Constraints: 26182
127.43/127.89 c #Conflicts: 483000 | #Constraints: 27182
127.43/127.89 c #Conflicts: 484000 | #Constraints: 28182
127.43/127.89 c #Conflicts: 485000 | #Constraints: 29182
127.43/127.89 c #Conflicts: 486000 | #Constraints: 30182
127.43/127.89 c #Conflicts: 487000 | #Constraints: 31182
127.43/127.89 c #Conflicts: 488000 | #Constraints: 32182
127.43/127.89 c INPROCESSING
127.43/127.89 c GARBAGE COLLECT
127.43/127.89 c rational objective 0
131.93/132.33 c #Conflicts: 489000 | #Constraints: 19386
131.93/132.33 c #Conflicts: 490000 | #Constraints: 20386
131.93/132.33 c #Conflicts: 491000 | #Constraints: 21386
131.93/132.33 c #Conflicts: 492000 | #Constraints: 22386
131.93/132.33 c #Conflicts: 493000 | #Constraints: 23386
131.93/132.33 c #Conflicts: 494000 | #Constraints: 24386
131.93/132.33 c #Conflicts: 495000 | #Constraints: 25386
131.93/132.33 c #Conflicts: 496000 | #Constraints: 26386
131.93/132.33 c #Conflicts: 497000 | #Constraints: 27386
131.93/132.33 c #Conflicts: 498000 | #Constraints: 28386
131.93/132.33 c #Conflicts: 499000 | #Constraints: 29386
131.93/132.33 c #Conflicts: 500000 | #Constraints: 30386
131.93/132.33 c #Conflicts: 501000 | #Constraints: 31386
131.93/132.33 c #Conflicts: 502000 | #Constraints: 32386
131.93/132.33 c INPROCESSING
131.93/132.33 c GARBAGE COLLECT
131.93/132.33 c rational objective 0
134.42/134.88 c #Conflicts: 503000 | #Constraints: 19388
134.42/134.88 c #Conflicts: 504000 | #Constraints: 20388
134.42/134.88 c #Conflicts: 505000 | #Constraints: 21388
134.42/134.88 c #Conflicts: 506000 | #Constraints: 22388
134.42/134.88 c #Conflicts: 507000 | #Constraints: 23388
134.42/134.88 c #Conflicts: 508000 | #Constraints: 24388
134.42/134.88 c #Conflicts: 509000 | #Constraints: 25388
134.42/134.88 c #Conflicts: 510000 | #Constraints: 26388
134.42/134.88 c GLOBAL bounds - >= 0 @ 130.772
134.42/134.88 c GLOBAL bounds - >= 0 @ 130.772
134.42/134.88 c Conflict after adding objective-improving constraint
134.42/134.88 c cpu time 130.775 s
134.42/134.88 c deterministic time 2076020442 2.08e+09
134.42/134.88 c optimization time 0.000952 s
134.42/134.88 c total solve time 130.764 s
134.42/134.88 c core-guided solve time 0 s
134.42/134.88 c propagation time 118.415 s
134.42/134.88 c conflict analysis time 7.89007 s
134.42/134.88 c propagations 8298543
134.42/134.88 c resolve steps 3898352
134.42/134.88 c decisions 626613
134.42/134.88 c conflicts 510921
134.42/134.88 c restarts 1022
134.42/134.88 c inprocessing phases 62
134.42/134.88 c garbage collections 62 ,( 100.00 )
134.42/134.88 c input clauses 4476 ,( 99.78 )
134.42/134.88 c input cardinalities 10 ,( 0.22 )
134.42/134.88 c input general constraints 0 ,( 0.00 )
134.42/134.88 c input average constraint length 3.05
134.42/134.88 c input average constraint degree 1.02
134.42/134.88 c learned clauses 510624 ,( 99.92 )
134.42/134.88 c learned cardinalities 188 ,( 0.04 )
134.42/134.88 c learned general constraints 209 ,( 0.04 )
134.42/134.88 c learned average constraint length 62.70
134.42/134.88 c learned average constraint degree 41592.95
134.42/134.88 c watched CF 32, 64, 128, Arb: 152 , 0 , 0 , 0
134.42/134.88 c counting CF 32, 64, 128, Arb: 58 , 0 , 0 , 0
134.42/134.88 c watched constraints 152 ,( 72.73 )
134.42/134.88 c counting constraints 57 ,( 27.27 )
134.42/134.88 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 385379793 , 293533 , 25101 ,( 14781 , 10320 )
134.42/134.88 c gcd simplifications 108
134.42/134.88 c detected cardinalities 22
134.42/134.88 c weakened non-implied lits 31174
134.42/134.88 c weakened non-implying lits 1
134.42/134.88 c original variables 245
134.42/134.88 c clausal propagations 7746803
134.42/134.88 c cardinality propagations 37498
134.42/134.88 c watched propagations 227
134.42/134.88 c counting propagations 2011
134.42/134.88 c watch lookups 385852641
134.42/134.88 c watch backjump lookups 0
134.42/134.88 c watch checks 1573686957
134.42/134.88 c propagation checks 9144684
134.42/134.88 c constraint additions 88498505
134.42/134.88 c trail pops 9436047
134.42/134.88 c formula constraints 4485
134.42/134.88 c learned constraints 510891
134.42/134.88 c bound constraints 0
134.42/134.88 c core-guided constraints 0
134.42/134.88 c encountered formula constraints 2390785
134.42/134.88 c encountered learned constraints 2016782
134.42/134.88 c encountered bound constraints 0
134.42/134.88 c encountered core-guided constraints 0
134.42/134.88 c LP total time 96.2382 s
134.42/134.88 c LP solve time 91.41 s
134.42/134.88 c LP constraints added 4635
134.42/134.88 c LP constraints removed 146
134.42/134.88 c LP pivots internal 476357
134.42/134.88 c LP pivots root 94
134.42/134.88 c LP calls 197647
134.42/134.88 c LP optimalities 197617
134.42/134.88 c LP no pivot count 59194
134.42/134.88 c LP infeasibilities 30
134.42/134.88 c LP valid Farkas constraints 30
134.42/134.88 c LP learned Farkas constraints 30
134.42/134.88 c LP basis resets 0
134.42/134.88 c LP cycling count 0
134.42/134.88 c LP singular count 0
134.42/134.88 c LP no primal count 0
134.42/134.88 c LP no farkas count 0
134.42/134.88 c LP other issue count 0
134.42/134.88 c LP Gomory cuts 70
134.42/134.88 c LP learned cuts 80
134.42/134.88 c LP deleted cuts 146
134.42/134.88 c LP encountered Gomory constraints 50
134.42/134.88 c LP encountered Farkas constraints 1529
134.42/134.88 c LP encountered learned Farkas constraints 97
134.42/134.88 c CG auxiliary variables introduced 2
134.42/134.88 c CG solutions found 1
134.42/134.88 c CG cores constructed 1
134.42/134.88 c CG core cardinality constraints returned 0
134.42/134.88 c CG unit cores 0
134.42/134.88 c CG single cores 0
134.42/134.88 c CG blocks removed during cardinality reduction 0
134.42/134.88 c CG first core best 0
134.42/134.88 c CG decision core best 0
134.42/134.88 c CG core reduction tie 0
134.42/134.88 c CG core degree average 0.00
134.42/134.88 c CG core slack average 0.00
134.42/134.88 c CG core upper bound improvements 0
134.42/134.88 c STR number of successful calls 0
134.42/134.88 c STR number of unsuccessful calls 0
134.42/134.88 c STR number of inconclusive calls 0
134.42/134.88 c STR number of successful attempts 0
134.42/134.88 c STR number of unsuccessful attempts 0
134.42/134.88 c STR number of inconclusive attempts 0
134.42/134.88 c STR average degree increase per successful call inf
134.42/134.88 c STR average degree increase per successful attempt inf
134.42/134.88 c STR total number of conflicts for successful attempts 0
134.42/134.88 c STR total number of conflicts for unsuccessful attempts 0
134.42/134.88 c STR total number of conflicts for inconclusive attempts 0
134.42/134.88 c STR average number of conflicts per successful attempt inf
134.42/134.88 c STR average number of conflicts per unsuccessful attempt inf
134.42/134.88 c STR average number of conflicts per inconclusive attempt inf
134.42/134.88 c AVG.sumWPerc 28.75
134.42/134.88 c bigint constraints 0
134.42/134.88 o 1
134.42/134.88 s OPTIMUM FOUND
134.42/134.88 v x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 -x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 -x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 x245
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (49896 MiB free)
memory of node 1: 64465 MiB (60592 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4517582-1751537131/watcher-4517582-1751537131 -o /tmp/evaluation-result-4517582-1751537131/solver-4517582-1751537131 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751531763-75750 --watchdog 3760 run-opt.sh HOME/instance-4517582-1751537131.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=76575, runsolver pid=76572
[startup+0.100057 s]*
/proc/loadavg: 3.99 4.07 4.08 5/268 76577
/proc/meminfo: memFree=113135848/131249996 swapFree=33004236/33010684
[pid=76575] ppid=76572 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/76575/stat : 76575 (run-opt.sh) S 76572 76575 75740 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69390921 4292608 768 18446744073709551615 94848847097856 94848847992389 140735068936432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94848848231440 94848848279184 94848865198080 140735068944749 140735068944872 140735068944872 140735068950474 0
/proc/76575/statm: 1048 768 704 219 0 110 0
[pid=76577] ppid=76575 vsize=67472 memory=17496 CPUtime=0.08 cores=0,2
/proc/76577/stat : 76577 (roundingsat) R 76575 76575 75740 0 -1 4194304 2690 0 0 0 7 1 0 0 20 0 1 0 69390921 69091328 4374 18446744073709551615 4227072 8923433 140732205219664 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10125312 140732205222306 140732205222440 140732205222440 140732205228010 0
/proc/76577/statm: 16868 4374 2432 1147 0 4295 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 71664 KiB
Current children cumulated memory: 20568 KiB
[startup+0.205056 s]*
/proc/loadavg: 3.99 4.07 4.08 5/268 76577
/proc/meminfo: memFree=113135848/131249996 swapFree=33004236/33010684
[pid=76575] ppid=76572 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/76575/stat : 76575 (run-opt.sh) S 76572 76575 75740 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69390921 4292608 768 18446744073709551615 94848847097856 94848847992389 140735068936432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94848848231440 94848848279184 94848865198080 140735068944749 140735068944872 140735068944872 140735068950474 0
/proc/76575/statm: 1048 768 704 219 0 110 0
[pid=76577] ppid=76575 vsize=67604 memory=17752 CPUtime=0.19 cores=0,2
/proc/76577/stat : 76577 (roundingsat) R 76575 76575 75740 0 -1 4194304 2756 0 0 0 17 2 0 0 20 0 1 0 69390921 69226496 4438 18446744073709551615 4227072 8923433 140732205219664 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10125312 140732205222306 140732205222440 140732205222440 140732205228010 0
/proc/76577/statm: 16901 4438 2432 1147 0 4328 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 71796 KiB
Current children cumulated memory: 20824 KiB
[startup+0.305704 s]*
/proc/loadavg: 3.99 4.07 4.08 5/268 76577
/proc/meminfo: memFree=113135848/131249996 swapFree=33004236/33010684
[pid=76575] ppid=76572 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/76575/stat : 76575 (run-opt.sh) S 76572 76575 75740 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69390921 4292608 768 18446744073709551615 94848847097856 94848847992389 140735068936432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94848848231440 94848848279184 94848865198080 140735068944749 140735068944872 140735068944872 140735068950474 0
/proc/76575/statm: 1048 768 704 219 0 110 0
[pid=76577] ppid=76575 vsize=67900 memory=18136 CPUtime=0.29 cores=0,2
/proc/76577/stat : 76577 (roundingsat) R 76575 76575 75740 0 -1 4194304 2861 0 0 0 27 2 0 0 20 0 1 0 69390921 69529600 4534 18446744073709551615 4227072 8923433 140732205219664 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10125312 140732205222306 140732205222440 140732205222440 140732205228010 0
/proc/76577/statm: 16975 4534 2432 1147 0 4402 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 72092 KiB
Current children cumulated memory: 21208 KiB
[startup+0.700172 s]
/proc/loadavg: 3.99 4.07 4.08 5/268 76577
/proc/meminfo: memFree=113135848/131249996 swapFree=33004236/33010684
[pid=76575] ppid=76572 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/76575/stat : 76575 (run-opt.sh) S 76572 76575 75740 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69390921 4292608 768 18446744073709551615 94848847097856 94848847992389 140735068936432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94848848231440 94848848279184 94848865198080 140735068944749 140735068944872 140735068944872 140735068950474 0
/proc/76575/statm: 1048 768 704 219 0 110 0
[pid=76577] ppid=76575 vsize=68032 memory=18648 CPUtime=0.68 cores=0,2
/proc/76577/stat : 76577 (roundingsat) R 76575 76575 75740 0 -1 4194304 2998 0 0 0 64 4 0 0 20 0 1 0 69390921 69664768 4662 18446744073709551615 4227072 8923433 140732205219664 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10125312 140732205222306 140732205222440 140732205222440 140732205228010 0
/proc/76577/statm: 17008 4662 2432 1147 0 4435 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 72224 KiB
Current children cumulated memory: 21720 KiB
[startup+1.50016 s]
/proc/loadavg: 3.99 4.07 4.08 5/268 76577
/proc/meminfo: memFree=113134084/131249996 swapFree=33004236/33010684
[pid=76575] ppid=76572 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/76575/stat : 76575 (run-opt.sh) S 76572 76575 75740 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69390921 4292608 768 18446744073709551615 94848847097856 94848847992389 140735068936432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94848848231440 94848848279184 94848865198080 140735068944749 140735068944872 140735068944872 140735068950474 0
/proc/76575/statm: 1048 768 704 219 0 110 0
[pid=76577] ppid=76575 vsize=68572 memory=19416 CPUtime=1.47 cores=0,2
/proc/76577/stat : 76577 (roundingsat) R 76575 76575 75740 0 -1 4194304 3201 0 0 0 139 8 0 0 20 0 1 0 69390921 70217728 4854 18446744073709551615 4227072 8923433 140732205219664 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10125312 140732205222306 140732205222440 140732205222440 140732205228010 0
/proc/76577/statm: 17143 4854 2432 1147 0 4570 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 72764 KiB
Current children cumulated memory: 22488 KiB
[startup+3.10558 s]
/proc/loadavg: 3.99 4.07 4.08 5/268 76577
/proc/meminfo: memFree=113132068/131249996 swapFree=33004236/33010684
[pid=76575] ppid=76572 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/76575/stat : 76575 (run-opt.sh) S 76572 76575 75740 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69390921 4292608 768 18446744073709551615 94848847097856 94848847992389 140735068936432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94848848231440 94848848279184 94848865198080 140735068944749 140735068944872 140735068944872 140735068950474 0
/proc/76575/statm: 1048 768 704 219 0 110 0
[pid=76577] ppid=76575 vsize=69332 memory=20568 CPUtime=3.08 cores=0,2
/proc/76577/stat : 76577 (roundingsat) R 76575 76575 75740 0 -1 4194304 3472 0 0 0 293 15 0 0 20 0 1 0 69390921 70995968 5142 18446744073709551615 4227072 8923433 140732205219664 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10125312 140732205222306 140732205222440 140732205222440 140732205228010 0
/proc/76577/statm: 17333 5142 2432 1147 0 4760 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 73524 KiB
Current children cumulated memory: 23640 KiB
[startup+6.30015 s]
/proc/loadavg: 3.99 4.07 4.08 5/268 76577
/proc/meminfo: memFree=113132148/131249996 swapFree=33004236/33010684
[pid=76575] ppid=76572 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/76575/stat : 76575 (run-opt.sh) S 76572 76575 75740 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69390921 4292608 768 18446744073709551615 94848847097856 94848847992389 140735068936432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94848848231440 94848848279184 94848865198080 140735068944749 140735068944872 140735068944872 140735068950474 0
/proc/76575/statm: 1048 768 704 219 0 110 0
[pid=76577] ppid=76575 vsize=69912 memory=21720 CPUtime=6.26 cores=0,2
/proc/76577/stat : 76577 (roundingsat) R 76575 76575 75740 0 -1 4194304 3746 0 0 0 598 28 0 0 20 0 1 0 69390921 71589888 5430 18446744073709551615 4227072 8923433 140732205219664 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10125312 140732205222306 140732205222440 140732205222440 140732205228010 0
/proc/76577/statm: 17478 5430 2432 1147 0 4905 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 74104 KiB
Current children cumulated memory: 24792 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.08 4.09 5/268 76577
/proc/meminfo: memFree=113128116/131249996 swapFree=33004236/33010684
[pid=76575] ppid=76572 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/76575/stat : 76575 (run-opt.sh) S 76572 76575 75740 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69390921 4292608 768 18446744073709551615 94848847097856 94848847992389 140735068936432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94848848231440 94848848279184 94848865198080 140735068944749 140735068944872 140735068944872 140735068950474 0
/proc/76575/statm: 1048 768 704 219 0 110 0
[pid=76577] ppid=76575 vsize=71160 memory=25104 CPUtime=12.64 cores=0,2
/proc/76577/stat : 76577 (roundingsat) R 76575 76575 75740 0 -1 4194304 4089 0 0 0 1212 52 0 0 20 0 1 0 69390921 72867840 6276 18446744073709551615 4227072 8923433 140732205219664 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10125312 140732205222306 140732205222440 140732205222440 140732205228010 0
/proc/76577/statm: 17790 6276 2432 1147 0 5217 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 75352 KiB
Current children cumulated memory: 28176 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 4.08 4.09 5/269 76579
/proc/meminfo: memFree=113115956/131249996 swapFree=33004236/33010684
[pid=76575] ppid=76572 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/76575/stat : 76575 (run-opt.sh) S 76572 76575 75740 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69390921 4292608 768 18446744073709551615 94848847097856 94848847992389 140735068936432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94848848231440 94848848279184 94848865198080 140735068944749 140735068944872 140735068944872 140735068950474 0
/proc/76575/statm: 1048 768 704 219 0 110 0
[pid=76577] ppid=76575 vsize=72660 memory=26512 CPUtime=25.41 cores=0,2
/proc/76577/stat : 76577 (roundingsat) R 76575 76575 75740 0 -1 4194304 4455 0 0 0 2452 89 0 0 20 0 1 0 69390921 74403840 6628 18446744073709551615 4227072 8923433 140732205219664 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10125312 140732205222306 140732205222440 140732205222440 140732205228010 0
/proc/76577/statm: 18165 6628 2432 1147 0 5592 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 76852 KiB
Current children cumulated memory: 29584 KiB
[startup+51.1057 s]
/proc/loadavg: 4.04 4.07 4.08 5/269 76579
/proc/meminfo: memFree=113095616/131249996 swapFree=33004236/33010684
[pid=76575] ppid=76572 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/76575/stat : 76575 (run-opt.sh) S 76572 76575 75740 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69390921 4292608 768 18446744073709551615 94848847097856 94848847992389 140735068936432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94848848231440 94848848279184 94848865198080 140735068944749 140735068944872 140735068944872 140735068950474 0
/proc/76575/statm: 1048 768 704 219 0 110 0
[pid=76577] ppid=76575 vsize=74536 memory=28432 CPUtime=50.95 cores=0,2
/proc/76577/stat : 76577 (roundingsat) R 76575 76575 75740 0 -1 4194304 4932 0 0 0 4933 162 0 0 20 0 1 0 69390921 76324864 7108 18446744073709551615 4227072 8923433 140732205219664 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10125312 140732205222306 140732205222440 140732205222440 140732205228010 0
/proc/76577/statm: 18634 7108 2432 1147 0 6061 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 78728 KiB
Current children cumulated memory: 31504 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/267 76581
/proc/meminfo: memFree=113079852/131249996 swapFree=33004236/33010684
[pid=76575] ppid=76572 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/76575/stat : 76575 (run-opt.sh) S 76572 76575 75740 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69390921 4292608 768 18446744073709551615 94848847097856 94848847992389 140735068936432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94848848231440 94848848279184 94848865198080 140735068944749 140735068944872 140735068944872 140735068950474 0
/proc/76575/statm: 1048 768 704 219 0 110 0
[pid=76577] ppid=76575 vsize=79432 memory=33064 CPUtime=102.01 cores=0,2
/proc/76577/stat : 76577 (roundingsat) R 76575 76575 75740 0 -1 4194304 5585 0 0 0 9906 295 0 0 20 0 1 0 69390921 81338368 8266 18446744073709551615 4227072 8923433 140732205219664 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10125312 140732205222306 140732205222440 140732205222440 140732205228010 0
/proc/76577/statm: 19858 8266 2432 1147 0 7285 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 83624 KiB
Current children cumulated memory: 36136 KiB
[startup+134.889 s]
# the end of solver process 76575 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=130.779 s, system=3.74006 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 4.09 4.09 4.09 5/267 76581
/proc/meminfo: memFree=113079852/131249996 swapFree=33004236/33010684
[pid=76575] ppid=76572 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/76575/stat : 76575 (run-opt.sh) S 76572 76575 75740 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69390921 4292608 768 18446744073709551615 94848847097856 94848847992389 140735068936432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94848848231440 94848848279184 94848865198080 140735068944749 140735068944872 140735068944872 140735068950474 0
/proc/76575/statm: 1048 768 704 219 0 110 0
[pid=76577] ppid=76575 vsize=79432 memory=33064 CPUtime=102.1 cores=0,2
/proc/76577/stat : 76577 (roundingsat) R 76575 76575 75740 0 -1 4194304 5585 0 0 0 9915 295 0 0 20 0 1 0 69390921 81338368 8266 18446744073709551615 4227072 8923433 140732205219664 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10125312 140732205222306 140732205222440 140732205222440 140732205228010 0
/proc/76577/statm: 19858 8266 2432 1147 0 7285 0
Current children cumulated CPU time: 102.1 s
Current children cumulated vsize: 83624 KiB
Current children cumulated memory: 36136 KiB
[startup+115.2 s]
/proc/loadavg: 4.07 4.08 4.09 5/267 76581
/proc/meminfo: memFree=113076008/131249996 swapFree=33004236/33010684
[pid=76575] ppid=76572 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/76575/stat : 76575 (run-opt.sh) S 76572 76575 75740 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69390921 4292608 768 18446744073709551615 94848847097856 94848847992389 140735068936432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94848848231440 94848848279184 94848865198080 140735068944749 140735068944872 140735068944872 140735068950474 0
/proc/76575/statm: 1048 768 704 219 0 110 0
[pid=76577] ppid=76575 vsize=79716 memory=33320 CPUtime=114.88 cores=0,2
/proc/76577/stat : 76577 (roundingsat) R 76575 76575 75740 0 -1 4194304 5654 0 0 0 11162 326 0 0 20 0 1 0 69390921 81629184 8330 18446744073709551615 4227072 8923433 140732205219664 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10125312 140732205222306 140732205222440 140732205222440 140732205228010 0
/proc/76577/statm: 19929 8330 2432 1147 0 7356 0
Current children cumulated CPU time: 114.88 s
Current children cumulated vsize: 83908 KiB
Current children cumulated memory: 36392 KiB
[startup+128 s]*
/proc/loadavg: 4.06 4.08 4.09 5/268 76585
/proc/meminfo: memFree=113091224/131249996 swapFree=33004236/33010684
[pid=76575] ppid=76572 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/76575/stat : 76575 (run-opt.sh) S 76572 76575 75740 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69390921 4292608 768 18446744073709551615 94848847097856 94848847992389 140735068936432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94848848231440 94848848279184 94848865198080 140735068944749 140735068944872 140735068944872 140735068950474 0
/proc/76575/statm: 1048 768 704 219 0 110 0
[pid=76577] ppid=76575 vsize=84916 memory=34472 CPUtime=127.64 cores=0,2
/proc/76577/stat : 76577 (roundingsat) R 76575 76575 75740 0 -1 4194304 5941 0 0 0 12406 358 0 0 20 0 1 0 69390921 86953984 8618 18446744073709551615 4227072 8923433 140732205219664 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10125312 140732205222306 140732205222440 140732205222440 140732205228010 0
/proc/76577/statm: 21229 8618 2432 1147 0 8656 0
Current children cumulated CPU time: 127.64 s
Current children cumulated vsize: 89108 KiB
Current children cumulated memory: 37544 KiB
[startup+131.2 s]
/proc/loadavg: 4.05 4.08 4.08 5/269 76586
/proc/meminfo: memFree=113087160/131249996 swapFree=33004236/33010684
[pid=76575] ppid=76572 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/76575/stat : 76575 (run-opt.sh) S 76572 76575 75740 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69390921 4292608 768 18446744073709551615 94848847097856 94848847992389 140735068936432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94848848231440 94848848279184 94848865198080 140735068944749 140735068944872 140735068944872 140735068950474 0
/proc/76575/statm: 1048 768 704 219 0 110 0
[pid=76577] ppid=76575 vsize=84916 memory=34472 CPUtime=130.83 cores=0,2
/proc/76577/stat : 76577 (roundingsat) R 76575 76575 75740 0 -1 4194304 5942 0 0 0 12718 365 0 0 20 0 1 0 69390921 86953984 8618 18446744073709551615 4227072 8923433 140732205219664 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10125312 140732205222306 140732205222440 140732205222440 140732205228010 0
/proc/76577/statm: 21229 8618 2432 1147 0 8656 0
Current children cumulated CPU time: 130.83 s
Current children cumulated vsize: 89108 KiB
Current children cumulated memory: 37544 KiB
[startup+132.8 s]
/proc/loadavg: 4.05 4.08 4.08 5/269 76586
/proc/meminfo: memFree=113087160/131249996 swapFree=33004236/33010684
[pid=76575] ppid=76572 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/76575/stat : 76575 (run-opt.sh) S 76572 76575 75740 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69390921 4292608 768 18446744073709551615 94848847097856 94848847992389 140735068936432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94848848231440 94848848279184 94848865198080 140735068944749 140735068944872 140735068944872 140735068950474 0
/proc/76575/statm: 1048 768 704 219 0 110 0
[pid=76577] ppid=76575 vsize=85512 memory=35112 CPUtime=132.43 cores=0,2
/proc/76577/stat : 76577 (roundingsat) R 76575 76575 75740 0 -1 4194304 6093 0 0 0 12873 370 0 0 20 0 1 0 69390921 87564288 8778 18446744073709551615 4227072 8923433 140732205219664 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10125312 140732205222306 140732205222440 140732205222440 140732205228010 0
/proc/76577/statm: 21378 8778 2432 1147 0 8805 0
Current children cumulated CPU time: 132.43 s
Current children cumulated vsize: 89704 KiB
Current children cumulated memory: 38184 KiB
[startup+133.6 s]
/proc/loadavg: 4.05 4.08 4.08 5/269 76586
/proc/meminfo: memFree=113087412/131249996 swapFree=33004236/33010684
[pid=76575] ppid=76572 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/76575/stat : 76575 (run-opt.sh) S 76572 76575 75740 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69390921 4292608 768 18446744073709551615 94848847097856 94848847992389 140735068936432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94848848231440 94848848279184 94848865198080 140735068944749 140735068944872 140735068944872 140735068950474 0
/proc/76575/statm: 1048 768 704 219 0 110 0
[pid=76577] ppid=76575 vsize=85512 memory=35112 CPUtime=133.22 cores=0,2
/proc/76577/stat : 76577 (roundingsat) R 76575 76575 75740 0 -1 4194304 6093 0 0 0 12951 371 0 0 20 0 1 0 69390921 87564288 8778 18446744073709551615 4227072 8923433 140732205219664 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10125312 140732205222306 140732205222440 140732205222440 140732205228010 0
/proc/76577/statm: 21378 8778 2432 1147 0 8805 0
Current children cumulated CPU time: 133.22 s
Current children cumulated vsize: 89704 KiB
Current children cumulated memory: 38184 KiB
[startup+134.4 s]
/proc/loadavg: 4.05 4.08 4.08 5/269 76586
/proc/meminfo: memFree=113087412/131249996 swapFree=33004236/33010684
[pid=76575] ppid=76572 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/76575/stat : 76575 (run-opt.sh) S 76572 76575 75740 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69390921 4292608 768 18446744073709551615 94848847097856 94848847992389 140735068936432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94848848231440 94848848279184 94848865198080 140735068944749 140735068944872 140735068944872 140735068950474 0
/proc/76575/statm: 1048 768 704 219 0 110 0
[pid=76577] ppid=76575 vsize=85512 memory=35112 CPUtime=134.02 cores=0,2
/proc/76577/stat : 76577 (roundingsat) R 76575 76575 75740 0 -1 4194304 6093 0 0 0 13029 373 0 0 20 0 1 0 69390921 87564288 8778 18446744073709551615 4227072 8923433 140732205219664 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10125312 140732205222306 140732205222440 140732205222440 140732205228010 0
/proc/76577/statm: 21378 8778 2432 1147 0 8805 0
Current children cumulated CPU time: 134.02 s
Current children cumulated vsize: 89704 KiB
Current children cumulated memory: 38184 KiB
[startup+134.8 s]
/proc/loadavg: 4.05 4.08 4.08 5/269 76586
/proc/meminfo: memFree=113087412/131249996 swapFree=33004236/33010684
[pid=76575] ppid=76572 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/76575/stat : 76575 (run-opt.sh) S 76572 76575 75740 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69390921 4292608 768 18446744073709551615 94848847097856 94848847992389 140735068936432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94848848231440 94848848279184 94848865198080 140735068944749 140735068944872 140735068944872 140735068950474 0
/proc/76575/statm: 1048 768 704 219 0 110 0
[pid=76577] ppid=76575 vsize=85512 memory=35112 CPUtime=134.42 cores=0,2
/proc/76577/stat : 76577 (roundingsat) R 76575 76575 75740 0 -1 4194304 6093 0 0 0 13069 373 0 0 20 0 1 0 69390921 87564288 8778 18446744073709551615 4227072 8923433 140732205219664 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10125312 140732205222306 140732205222440 140732205222440 140732205228010 0
/proc/76577/statm: 21378 8778 2432 1147 0 8805 0
Current children cumulated CPU time: 134.42 s
Current children cumulated vsize: 89704 KiB
Current children cumulated memory: 38184 KiB
Child status: 0
Real time (s): 134.889
CPU time (s): 134.519
CPU user time (s): 130.779
CPU system time (s): 3.74006
CPU usage (%): 99.7254
Max. virtual memory (cumulated for all children) (KiB): 89704
Max. memory (cumulated for all children) (KiB): 38184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 130.779
system time used= 3.74006
maximum resident set size= 35112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6321
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 145
involuntary context switches= 313
# summary of solver processes directly reported to runsolver:
# pid: 76575
# total CPU time (s): 134.519
# total CPU user time (s): 130.779
# total CPU system time (s): 3.74006
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.303661 second user time and 0.603757 second system time
The end
Begin job on nodeC023 at 2025-07-03 12:05:31
IDJOB=4517582
IDBENCH=176126
IDSOLVER=3350
FILE ID=nodeC023/4517582-1751537131
RUNJOBID= nodeC023-1751531763-75750
SLURM_JOB_ID= 9598675
Free space on /tmp= 431844 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=10-t=9.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4517582-1751537131/watcher-4517582-1751537131 -o /tmp/evaluation-result-4517582-1751537131/solver-4517582-1751537131 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751531763-75750 --watchdog 3760 run-opt.sh HOME/instance-4517582-1751537131.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= fc6c22edea63d6bf282da0f44295fc1a
RANDOM SEED=1749095616
nodeC023 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3602.093
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.869
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.891
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3790.586
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.895
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.884
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3597.522
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 113140356 kB
MemAvailable: 128903200 kB
Buffers: 16 kB
Cached: 16507196 kB
SwapCached: 592 kB
Active: 1072920 kB
Inactive: 16302096 kB
Active(anon): 860760 kB
Inactive(anon): 20452 kB
Active(file): 212160 kB
Inactive(file): 16281644 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33004236 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7544 kB
Writeback: 0 kB
AnonPages: 865040 kB
Mapped: 112940 kB
Shmem: 13404 kB
KReclaimable: 216556 kB
Slab: 306976 kB
SReclaimable: 216556 kB
SUnreclaim: 90420 kB
KernelStack: 4332 kB
PageTables: 4892 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1265280 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150616 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 755712 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: 197332 kB
DirectMap2M: 9011200 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431836 MiB
End job on nodeC023 at 2025-07-03 12:07:46