0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.03 c #variables 3571 #constraints 3643
0.00/0.03 c rational objective 0
50.31/50.54 c #Conflicts: 1000 | #Constraints: 4643
50.31/50.54 c #Conflicts: 2000 | #Constraints: 5643
50.31/50.54 c INPROCESSING
50.31/50.54 c GARBAGE COLLECT
50.31/50.54 c #Conflicts: 3000 | #Constraints: 5593
50.31/50.54 c #Conflicts: 4000 | #Constraints: 6593
50.31/50.54 c INPROCESSING
50.31/50.54 c GARBAGE COLLECT
50.31/50.54 c #Conflicts: 5000 | #Constraints: 5999
50.31/50.54 c #Conflicts: 6000 | #Constraints: 6999
50.31/50.54 c INPROCESSING
50.31/50.54 c GARBAGE COLLECT
50.31/50.54 c #Conflicts: 7000 | #Constraints: 6003
50.31/50.54 c #Conflicts: 8000 | #Constraints: 7003
50.31/50.54 c #Conflicts: 9000 | #Constraints: 8003
50.31/50.54 c INPROCESSING
50.31/50.54 c GARBAGE COLLECT
50.31/50.54 c #Conflicts: 10000 | #Constraints: 6706
50.31/50.54 c #Conflicts: 11000 | #Constraints: 7706
50.31/50.54 c #Conflicts: 12000 | #Constraints: 8706
50.31/50.54 c INPROCESSING
50.31/50.54 c GARBAGE COLLECT
50.31/50.54 c #Conflicts: 13000 | #Constraints: 7158
50.31/50.54 c #Conflicts: 14000 | #Constraints: 8158
50.31/50.54 c #Conflicts: 15000 | #Constraints: 9158
50.31/50.54 c INPROCESSING
50.31/50.54 c GARBAGE COLLECT
50.31/50.54 c #Conflicts: 16000 | #Constraints: 7384
50.31/50.54 c #Conflicts: 17000 | #Constraints: 8384
50.31/50.54 c #Conflicts: 18000 | #Constraints: 9384
50.31/50.54 c INPROCESSING
50.31/50.54 c GARBAGE COLLECT
50.31/50.54 c #Conflicts: 19000 | #Constraints: 7403
50.31/50.54 c #Conflicts: 20000 | #Constraints: 8403
50.31/50.54 c #Conflicts: 21000 | #Constraints: 9403
50.31/50.54 c INPROCESSING
50.31/50.54 c GARBAGE COLLECT
50.31/50.54 c #Conflicts: 22000 | #Constraints: 7209
50.31/50.54 c #Conflicts: 23000 | #Constraints: 8209
50.31/50.54 c #Conflicts: 24000 | #Constraints: 9209
50.31/50.54 c #Conflicts: 25000 | #Constraints: 10209
50.31/50.54 c INPROCESSING
50.31/50.54 c GARBAGE COLLECT
50.31/50.54 c #Conflicts: 26000 | #Constraints: 7811
50.31/50.54 c #Conflicts: 27000 | #Constraints: 8811
50.31/50.54 c #Conflicts: 28000 | #Constraints: 9811
50.31/50.54 c #Conflicts: 29000 | #Constraints: 10811
50.31/50.54 c INPROCESSING
50.31/50.54 c GARBAGE COLLECT
50.31/50.54 c #Conflicts: 30000 | #Constraints: 8212
50.31/50.54 c #Conflicts: 31000 | #Constraints: 9212
50.31/50.54 c #Conflicts: 32000 | #Constraints: 10212
50.31/50.54 c #Conflicts: 33000 | #Constraints: 11212
50.31/50.54 c INPROCESSING
50.31/50.54 c GARBAGE COLLECT
50.31/50.54 c rational objective 0
53.99/54.29 c #Conflicts: 34000 | #Constraints: 8413
53.99/54.29 c #Conflicts: 35000 | #Constraints: 9413
53.99/54.29 c #Conflicts: 36000 | #Constraints: 10413
53.99/54.29 c #Conflicts: 37000 | #Constraints: 11413
53.99/54.29 c INPROCESSING
53.99/54.29 c GARBAGE COLLECT
53.99/54.29 c rational objective -1.31903e-12
63.56/63.89 c #Conflicts: 38000 | #Constraints: 8418
63.56/63.89 c #Conflicts: 39000 | #Constraints: 9418
63.56/63.89 c #Conflicts: 40000 | #Constraints: 10418
63.56/63.89 c #Conflicts: 41000 | #Constraints: 11418
63.56/63.89 c INPROCESSING
63.56/63.89 c GARBAGE COLLECT
63.56/63.89 c rational objective -1.31903e-12
72.13/72.41 c #Conflicts: 42000 | #Constraints: 8217
72.13/72.41 c #Conflicts: 43000 | #Constraints: 9217
72.13/72.41 c #Conflicts: 44000 | #Constraints: 10218
72.13/72.41 c #Conflicts: 45000 | #Constraints: 11218
72.13/72.41 c #Conflicts: 46000 | #Constraints: 12218
72.13/72.41 c INPROCESSING
72.13/72.41 c GARBAGE COLLECT
72.13/72.41 c rational objective -1.31903e-12
80.20/80.50 c #Conflicts: 47000 | #Constraints: 8827
80.20/80.50 c #Conflicts: 48000 | #Constraints: 9827
80.20/80.50 c #Conflicts: 49000 | #Constraints: 10827
80.20/80.50 c #Conflicts: 50000 | #Constraints: 11827
80.20/80.50 c #Conflicts: 51000 | #Constraints: 12827
80.20/80.50 c INPROCESSING
80.20/80.50 c GARBAGE COLLECT
80.20/80.50 c rational objective -1.31903e-12
88.48/88.88 c #Conflicts: 52000 | #Constraints: 9226
88.48/88.88 c #Conflicts: 53000 | #Constraints: 10226
88.48/88.88 c #Conflicts: 54000 | #Constraints: 11226
88.48/88.88 c #Conflicts: 55000 | #Constraints: 12226
88.48/88.88 c #Conflicts: 56000 | #Constraints: 13226
88.48/88.88 c INPROCESSING
88.48/88.88 c GARBAGE COLLECT
88.48/88.88 c rational objective -1.31903e-12
95.95/96.32 c #Conflicts: 57000 | #Constraints: 9433
95.95/96.32 c #Conflicts: 58000 | #Constraints: 10433
95.95/96.32 c #Conflicts: 59000 | #Constraints: 11433
95.95/96.32 c #Conflicts: 60000 | #Constraints: 12433
95.95/96.32 c #Conflicts: 61000 | #Constraints: 13433
95.95/96.32 c INPROCESSING
95.95/96.32 c GARBAGE COLLECT
95.95/96.32 c rational objective -1.31903e-12
102.93/103.34 c #Conflicts: 62000 | #Constraints: 9433
102.93/103.34 c #Conflicts: 63000 | #Constraints: 10433
102.93/103.34 c #Conflicts: 64000 | #Constraints: 11433
102.93/103.34 c #Conflicts: 65000 | #Constraints: 12433
102.93/103.34 c #Conflicts: 66000 | #Constraints: 13434
102.93/103.34 c INPROCESSING
102.93/103.34 c GARBAGE COLLECT
102.93/103.34 c rational objective -1.31903e-12
111.01/111.45 c #Conflicts: 67000 | #Constraints: 9239
111.01/111.45 c #Conflicts: 68000 | #Constraints: 10239
111.01/111.45 c #Conflicts: 69000 | #Constraints: 11239
111.01/111.45 c #Conflicts: 70000 | #Constraints: 12239
111.01/111.45 c #Conflicts: 71000 | #Constraints: 13239
111.01/111.45 c #Conflicts: 72000 | #Constraints: 14239
111.01/111.45 c INPROCESSING
111.01/111.45 c GARBAGE COLLECT
111.01/111.45 c rational objective -1.31903e-12
120.67/121.17 c #Conflicts: 73000 | #Constraints: 9834
120.67/121.17 c #Conflicts: 74000 | #Constraints: 10834
120.67/121.17 c #Conflicts: 75000 | #Constraints: 11834
120.67/121.17 c #Conflicts: 76000 | #Constraints: 12834
120.67/121.17 c #Conflicts: 77000 | #Constraints: 13834
120.67/121.17 c #Conflicts: 78000 | #Constraints: 14834
120.67/121.17 c INPROCESSING
120.67/121.17 c GARBAGE COLLECT
120.67/121.17 c rational objective -1.31903e-12
129.24/129.70 c #Conflicts: 79000 | #Constraints: 10243
129.24/129.70 c #Conflicts: 80000 | #Constraints: 11243
129.24/129.70 c #Conflicts: 81000 | #Constraints: 12243
129.24/129.70 c #Conflicts: 82000 | #Constraints: 13243
129.24/129.70 c #Conflicts: 83000 | #Constraints: 14244
129.24/129.70 c #Conflicts: 84000 | #Constraints: 15244
129.24/129.70 c INPROCESSING
129.24/129.70 c GARBAGE COLLECT
129.24/129.70 c rational objective -1.31903e-12
140.10/140.60 c #Conflicts: 85000 | #Constraints: 10441
140.10/140.60 c #Conflicts: 86000 | #Constraints: 11441
140.10/140.60 c #Conflicts: 87000 | #Constraints: 12441
140.10/140.60 c #Conflicts: 88000 | #Constraints: 13441
140.10/140.60 c #Conflicts: 89000 | #Constraints: 14441
140.10/140.60 c #Conflicts: 90000 | #Constraints: 15441
140.10/140.60 c INPROCESSING
140.10/140.60 c GARBAGE COLLECT
140.10/140.60 c rational objective -1.31903e-12
152.47/153.04 c #Conflicts: 91000 | #Constraints: 10450
152.47/153.04 c #Conflicts: 92000 | #Constraints: 11450
152.47/153.04 c #Conflicts: 93000 | #Constraints: 12450
152.47/153.04 c #Conflicts: 94000 | #Constraints: 13450
152.47/153.04 c #Conflicts: 95000 | #Constraints: 14450
152.47/153.04 c #Conflicts: 96000 | #Constraints: 15450
152.47/153.04 c INPROCESSING
152.47/153.04 c GARBAGE COLLECT
152.47/153.04 c rational objective -1.31903e-12
164.13/164.74 c #Conflicts: 97000 | #Constraints: 10258
164.13/164.74 c #Conflicts: 98000 | #Constraints: 11258
164.13/164.74 c #Conflicts: 99000 | #Constraints: 12258
164.13/164.74 c #Conflicts: 100000 | #Constraints: 13258
164.13/164.74 c #Conflicts: 101000 | #Constraints: 14258
164.13/164.74 c #Conflicts: 102000 | #Constraints: 15258
164.13/164.74 c #Conflicts: 103000 | #Constraints: 16258
164.13/164.74 c INPROCESSING
164.13/164.74 c GARBAGE COLLECT
164.13/164.74 c rational objective -1.31903e-12
174.40/175.08 c #Conflicts: 104000 | #Constraints: 10855
174.40/175.08 c #Conflicts: 105000 | #Constraints: 11855
174.40/175.08 c #Conflicts: 106000 | #Constraints: 12855
174.40/175.08 c #Conflicts: 107000 | #Constraints: 13855
174.40/175.08 c #Conflicts: 108000 | #Constraints: 14855
174.40/175.08 c #Conflicts: 109000 | #Constraints: 15855
174.40/175.08 c #Conflicts: 110000 | #Constraints: 16856
174.40/175.08 c INPROCESSING
174.40/175.08 c GARBAGE COLLECT
174.40/175.08 c rational objective -1.31903e-12
187.16/187.87 c #Conflicts: 111000 | #Constraints: 11261
187.16/187.87 c #Conflicts: 112000 | #Constraints: 12261
187.16/187.87 c #Conflicts: 113000 | #Constraints: 13261
187.16/187.87 c #Conflicts: 114000 | #Constraints: 14261
187.16/187.87 c #Conflicts: 115000 | #Constraints: 15262
187.16/187.87 c #Conflicts: 116000 | #Constraints: 16262
187.16/187.87 c #Conflicts: 117000 | #Constraints: 17262
187.16/187.87 c INPROCESSING
187.16/187.87 c GARBAGE COLLECT
187.16/187.87 c rational objective -1.31903e-12
201.32/202.02 c #Conflicts: 118000 | #Constraints: 11447
201.32/202.02 c #Conflicts: 119000 | #Constraints: 12447
201.32/202.02 c #Conflicts: 120000 | #Constraints: 13447
201.32/202.02 c #Conflicts: 121000 | #Constraints: 14447
201.32/202.02 c #Conflicts: 122000 | #Constraints: 15447
201.32/202.02 c #Conflicts: 123000 | #Constraints: 16447
201.32/202.02 c #Conflicts: 124000 | #Constraints: 17447
201.32/202.02 c INPROCESSING
201.32/202.02 c GARBAGE COLLECT
201.32/202.02 c rational objective -1.31903e-12
215.48/216.26 c #Conflicts: 125000 | #Constraints: 11446
215.48/216.26 c #Conflicts: 126000 | #Constraints: 12446
215.48/216.26 c #Conflicts: 127000 | #Constraints: 13446
215.48/216.26 c #Conflicts: 128000 | #Constraints: 14446
215.48/216.26 c #Conflicts: 129000 | #Constraints: 15446
215.48/216.26 c #Conflicts: 130000 | #Constraints: 16446
215.48/216.26 c #Conflicts: 131000 | #Constraints: 17446
215.48/216.26 c INPROCESSING
215.48/216.26 c GARBAGE COLLECT
215.48/216.26 c rational objective -1.31903e-12
230.03/230.80 c #Conflicts: 132000 | #Constraints: 11250
230.03/230.80 c #Conflicts: 133000 | #Constraints: 12250
230.03/230.80 c #Conflicts: 134000 | #Constraints: 13250
230.03/230.80 c #Conflicts: 135000 | #Constraints: 14250
230.03/230.80 c #Conflicts: 136000 | #Constraints: 15250
230.03/230.80 c #Conflicts: 137000 | #Constraints: 16250
230.03/230.80 c #Conflicts: 138000 | #Constraints: 17250
230.03/230.80 c #Conflicts: 139000 | #Constraints: 18250
230.03/230.80 c INPROCESSING
230.03/230.80 c GARBAGE COLLECT
230.03/230.80 c rational objective -1.31903e-12
240.90/241.75 c #Conflicts: 140000 | #Constraints: 11863
240.90/241.75 c #Conflicts: 141000 | #Constraints: 12863
240.90/241.75 c #Conflicts: 142000 | #Constraints: 13864
240.90/241.75 c #Conflicts: 143000 | #Constraints: 14864
240.90/241.75 c #Conflicts: 144000 | #Constraints: 15864
240.90/241.75 c #Conflicts: 145000 | #Constraints: 16864
240.90/241.75 c #Conflicts: 146000 | #Constraints: 17864
240.90/241.75 c #Conflicts: 147000 | #Constraints: 18864
240.90/241.75 c INPROCESSING
240.90/241.75 c GARBAGE COLLECT
240.90/241.75 c rational objective -1.31903e-12
255.56/256.45 c #Conflicts: 148000 | #Constraints: 12262
255.56/256.45 c #Conflicts: 149000 | #Constraints: 13262
255.56/256.45 c #Conflicts: 150000 | #Constraints: 14262
255.56/256.45 c #Conflicts: 151000 | #Constraints: 15262
255.56/256.45 c #Conflicts: 152000 | #Constraints: 16262
255.56/256.45 c #Conflicts: 153000 | #Constraints: 17262
255.56/256.45 c #Conflicts: 154000 | #Constraints: 18262
255.56/256.45 c #Conflicts: 155000 | #Constraints: 19262
255.56/256.45 c INPROCESSING
255.56/256.45 c GARBAGE COLLECT
255.56/256.45 c rational objective -1.31903e-12
275.11/276.07 c #Conflicts: 156000 | #Constraints: 12454
275.11/276.07 c #Conflicts: 157000 | #Constraints: 13454
275.11/276.07 c #Conflicts: 158000 | #Constraints: 14454
275.11/276.07 c #Conflicts: 159000 | #Constraints: 15454
275.11/276.07 c #Conflicts: 160000 | #Constraints: 16454
275.11/276.07 c #Conflicts: 161000 | #Constraints: 17454
275.11/276.07 c #Conflicts: 162000 | #Constraints: 18454
275.11/276.07 c #Conflicts: 163000 | #Constraints: 19454
275.11/276.07 c INPROCESSING
275.11/276.07 c GARBAGE COLLECT
275.11/276.07 c rational objective 1.09615e-12
287.36/288.32 c #Conflicts: 164000 | #Constraints: 12441
287.36/288.32 c #Conflicts: 165000 | #Constraints: 13441
287.36/288.32 c #Conflicts: 166000 | #Constraints: 14441
287.36/288.32 c #Conflicts: 167000 | #Constraints: 15441
287.36/288.32 c #Conflicts: 168000 | #Constraints: 16441
287.36/288.32 c #Conflicts: 169000 | #Constraints: 17441
287.36/288.32 c #Conflicts: 170000 | #Constraints: 18441
287.36/288.32 c #Conflicts: 171000 | #Constraints: 19441
287.36/288.32 c INPROCESSING
287.36/288.32 c GARBAGE COLLECT
287.36/288.32 c rational objective 1.09615e-12
301.83/302.88 c #Conflicts: 172000 | #Constraints: 12235
301.83/302.88 c #Conflicts: 173000 | #Constraints: 13235
301.83/302.88 c #Conflicts: 174000 | #Constraints: 14235
301.83/302.88 c #Conflicts: 175000 | #Constraints: 15235
301.83/302.88 c #Conflicts: 176000 | #Constraints: 16235
301.83/302.88 c #Conflicts: 177000 | #Constraints: 17235
301.83/302.88 c #Conflicts: 178000 | #Constraints: 18235
301.83/302.88 c #Conflicts: 179000 | #Constraints: 19235
301.83/302.88 c #Conflicts: 180000 | #Constraints: 20235
301.83/302.88 c INPROCESSING
301.83/302.88 c GARBAGE COLLECT
301.83/302.88 c rational objective 1.09615e-12
315.10/316.13 c #Conflicts: 181000 | #Constraints: 12840
315.10/316.13 c #Conflicts: 182000 | #Constraints: 13840
315.10/316.13 c #Conflicts: 183000 | #Constraints: 14840
315.10/316.13 c #Conflicts: 184000 | #Constraints: 15840
315.10/316.13 c #Conflicts: 185000 | #Constraints: 16840
315.10/316.13 c #Conflicts: 186000 | #Constraints: 17840
315.10/316.13 c #Conflicts: 187000 | #Constraints: 18840
315.10/316.13 c #Conflicts: 188000 | #Constraints: 19841
315.10/316.13 c #Conflicts: 189000 | #Constraints: 20841
315.10/316.13 c INPROCESSING
315.10/316.13 c GARBAGE COLLECT
315.10/316.13 c rational objective 1.09615e-12
336.95/338.02 c #Conflicts: 190000 | #Constraints: 13254
336.95/338.02 c #Conflicts: 191000 | #Constraints: 14254
336.95/338.02 c #Conflicts: 192000 | #Constraints: 15254
336.95/338.02 c #Conflicts: 193000 | #Constraints: 16254
336.95/338.02 c #Conflicts: 194000 | #Constraints: 17254
336.95/338.02 c #Conflicts: 195000 | #Constraints: 18254
336.95/338.02 c #Conflicts: 196000 | #Constraints: 19254
336.95/338.02 c #Conflicts: 197000 | #Constraints: 20254
336.95/338.02 c #Conflicts: 198000 | #Constraints: 21254
336.95/338.02 c INPROCESSING
336.95/338.02 c GARBAGE COLLECT
336.95/338.02 c rational objective 1.09615e-12
359.58/360.74 c #Conflicts: 199000 | #Constraints: 13455
359.58/360.74 c #Conflicts: 200000 | #Constraints: 14455
359.58/360.74 c #Conflicts: 201000 | #Constraints: 15455
359.58/360.74 c #Conflicts: 202000 | #Constraints: 16455
359.58/360.74 c #Conflicts: 203000 | #Constraints: 17455
359.58/360.74 c #Conflicts: 204000 | #Constraints: 18455
359.58/360.74 c #Conflicts: 205000 | #Constraints: 19455
359.58/360.74 c #Conflicts: 206000 | #Constraints: 20455
359.58/360.74 c #Conflicts: 207000 | #Constraints: 21455
359.58/360.74 c INPROCESSING
359.58/360.74 c GARBAGE COLLECT
359.58/360.74 c rational objective 1.09615e-12
381.92/383.15 c #Conflicts: 208000 | #Constraints: 13466
381.92/383.15 c #Conflicts: 209000 | #Constraints: 14466
381.92/383.15 c #Conflicts: 210000 | #Constraints: 15466
381.92/383.15 c #Conflicts: 211000 | #Constraints: 16466
381.92/383.15 c #Conflicts: 212000 | #Constraints: 17466
381.92/383.15 c #Conflicts: 213000 | #Constraints: 18466
381.92/383.15 c #Conflicts: 214000 | #Constraints: 19466
381.92/383.15 c #Conflicts: 215000 | #Constraints: 20466
381.92/383.15 c #Conflicts: 216000 | #Constraints: 21466
381.92/383.15 c INPROCESSING
381.92/383.15 c GARBAGE COLLECT
381.92/383.15 c rational objective 1.09615e-12
412.44/413.71 c #Conflicts: 217000 | #Constraints: 13273
412.44/413.71 c #Conflicts: 218000 | #Constraints: 14273
412.44/413.71 c #Conflicts: 219000 | #Constraints: 15273
412.44/413.71 c #Conflicts: 220000 | #Constraints: 16273
412.44/413.71 c #Conflicts: 221000 | #Constraints: 17273
412.44/413.71 c #Conflicts: 222000 | #Constraints: 18273
412.44/413.71 c #Conflicts: 223000 | #Constraints: 19273
412.44/413.71 c #Conflicts: 224000 | #Constraints: 20273
412.44/413.71 c #Conflicts: 225000 | #Constraints: 21273
412.44/413.71 c #Conflicts: 226000 | #Constraints: 22273
412.44/413.71 c INPROCESSING
412.44/413.71 c GARBAGE COLLECT
412.44/413.71 c rational objective 1.09615e-12
435.58/436.96 c #Conflicts: 227000 | #Constraints: 13869
435.58/436.96 c #Conflicts: 228000 | #Constraints: 14869
435.58/436.96 c #Conflicts: 229000 | #Constraints: 15869
435.58/436.96 c #Conflicts: 230000 | #Constraints: 16869
435.58/436.96 c #Conflicts: 231000 | #Constraints: 17870
435.58/436.96 c #Conflicts: 232000 | #Constraints: 18870
435.58/436.96 c #Conflicts: 233000 | #Constraints: 19870
435.58/436.96 c #Conflicts: 234000 | #Constraints: 20870
435.58/436.96 c #Conflicts: 235000 | #Constraints: 21870
435.58/436.96 c #Conflicts: 236000 | #Constraints: 22870
435.58/436.96 c INPROCESSING
435.58/436.96 c GARBAGE COLLECT
435.58/436.96 c rational objective 1.09615e-12
458.22/459.69 c #Conflicts: 237000 | #Constraints: 14261
458.22/459.69 c #Conflicts: 238000 | #Constraints: 15261
458.22/459.69 c #Conflicts: 239000 | #Constraints: 16261
458.22/459.69 c #Conflicts: 240000 | #Constraints: 17261
458.22/459.69 c #Conflicts: 241000 | #Constraints: 18261
458.22/459.69 c #Conflicts: 242000 | #Constraints: 19261
458.22/459.69 c #Conflicts: 243000 | #Constraints: 20261
458.22/459.69 c #Conflicts: 244000 | #Constraints: 21261
458.22/459.69 c #Conflicts: 245000 | #Constraints: 22261
458.22/459.69 c #Conflicts: 246000 | #Constraints: 23261
458.22/459.69 c INPROCESSING
458.22/459.69 c GARBAGE COLLECT
458.22/459.69 c rational objective 1.09615e-12
483.45/484.94 c #Conflicts: 247000 | #Constraints: 14459
483.45/484.94 c #Conflicts: 248000 | #Constraints: 15459
483.45/484.94 c #Conflicts: 249000 | #Constraints: 16459
483.45/484.94 c #Conflicts: 250000 | #Constraints: 17459
483.45/484.94 c #Conflicts: 251000 | #Constraints: 18459
483.45/484.94 c #Conflicts: 252000 | #Constraints: 19459
483.45/484.94 c #Conflicts: 253000 | #Constraints: 20459
483.45/484.94 c #Conflicts: 254000 | #Constraints: 21459
483.45/484.94 c #Conflicts: 255000 | #Constraints: 22459
483.45/484.94 c #Conflicts: 256000 | #Constraints: 23459
483.45/484.94 c INPROCESSING
483.45/484.94 c GARBAGE COLLECT
483.45/484.94 c rational objective 1.09615e-12
513.17/514.72 c #Conflicts: 257000 | #Constraints: 14461
513.17/514.72 c #Conflicts: 258000 | #Constraints: 15461
513.17/514.72 c #Conflicts: 259000 | #Constraints: 16461
513.17/514.72 c #Conflicts: 260000 | #Constraints: 17461
513.17/514.72 c #Conflicts: 261000 | #Constraints: 18461
513.17/514.72 c #Conflicts: 262000 | #Constraints: 19461
513.17/514.72 c #Conflicts: 263000 | #Constraints: 20461
513.17/514.72 c #Conflicts: 264000 | #Constraints: 21461
513.17/514.72 c #Conflicts: 265000 | #Constraints: 22461
513.17/514.72 c #Conflicts: 266000 | #Constraints: 23461
513.17/514.72 c INPROCESSING
513.17/514.72 c GARBAGE COLLECT
513.17/514.72 c rational objective 1.09615e-12
541.00/542.61 c #Conflicts: 267000 | #Constraints: 14255
541.00/542.61 c #Conflicts: 268000 | #Constraints: 15255
541.00/542.61 c #Conflicts: 269000 | #Constraints: 16255
541.00/542.61 c #Conflicts: 270000 | #Constraints: 17255
541.00/542.61 c #Conflicts: 271000 | #Constraints: 18255
541.00/542.61 c #Conflicts: 272000 | #Constraints: 19255
541.00/542.61 c #Conflicts: 273000 | #Constraints: 20255
541.00/542.61 c #Conflicts: 274000 | #Constraints: 21255
541.00/542.61 c #Conflicts: 275000 | #Constraints: 22255
541.00/542.61 c #Conflicts: 276000 | #Constraints: 23255
541.00/542.61 c #Conflicts: 277000 | #Constraints: 24255
541.00/542.61 c INPROCESSING
541.00/542.61 c GARBAGE COLLECT
541.00/542.61 c rational objective 1.09615e-12
563.34/565.01 c #Conflicts: 278000 | #Constraints: 14844
563.34/565.01 c #Conflicts: 279000 | #Constraints: 15844
563.34/565.01 c #Conflicts: 280000 | #Constraints: 16844
563.34/565.01 c #Conflicts: 281000 | #Constraints: 17844
563.34/565.01 c #Conflicts: 282000 | #Constraints: 18844
563.34/565.01 c #Conflicts: 283000 | #Constraints: 19844
563.34/565.01 c #Conflicts: 284000 | #Constraints: 20844
563.34/565.01 c #Conflicts: 285000 | #Constraints: 21844
563.34/565.01 c #Conflicts: 286000 | #Constraints: 22844
563.34/565.01 c #Conflicts: 287000 | #Constraints: 23844
563.34/565.01 c #Conflicts: 288000 | #Constraints: 24844
563.34/565.01 c INPROCESSING
563.34/565.01 c GARBAGE COLLECT
563.34/565.01 c rational objective 1.09615e-12
589.87/591.67 c #Conflicts: 289000 | #Constraints: 15247
589.87/591.67 c #Conflicts: 290000 | #Constraints: 16247
589.87/591.67 c #Conflicts: 291000 | #Constraints: 17247
589.87/591.67 c #Conflicts: 292000 | #Constraints: 18247
589.87/591.67 c #Conflicts: 293000 | #Constraints: 19247
589.87/591.67 c #Conflicts: 294000 | #Constraints: 20247
589.87/591.67 c #Conflicts: 295000 | #Constraints: 21247
589.87/591.67 c #Conflicts: 296000 | #Constraints: 22247
589.87/591.67 c #Conflicts: 297000 | #Constraints: 23247
589.87/591.67 c #Conflicts: 298000 | #Constraints: 24247
589.87/591.67 c #Conflicts: 299000 | #Constraints: 25247
589.87/591.67 c INPROCESSING
589.87/591.67 c GARBAGE COLLECT
589.87/591.67 c rational objective 1.09615e-12
615.41/617.22 c #Conflicts: 300000 | #Constraints: 15451
615.41/617.22 c #Conflicts: 301000 | #Constraints: 16451
615.41/617.22 c #Conflicts: 302000 | #Constraints: 17451
615.41/617.22 c #Conflicts: 303000 | #Constraints: 18451
615.41/617.22 c #Conflicts: 304000 | #Constraints: 19451
615.41/617.22 c #Conflicts: 305000 | #Constraints: 20451
615.41/617.22 c #Conflicts: 306000 | #Constraints: 21451
615.41/617.22 c #Conflicts: 307000 | #Constraints: 22451
615.41/617.22 c #Conflicts: 308000 | #Constraints: 23451
615.41/617.22 c #Conflicts: 309000 | #Constraints: 24451
615.41/617.22 c #Conflicts: 310000 | #Constraints: 25451
615.41/617.22 c INPROCESSING
615.41/617.22 c GARBAGE COLLECT
615.41/617.22 c rational objective 1.09615e-12
648.23/650.19 c #Conflicts: 311000 | #Constraints: 15457
648.23/650.19 c #Conflicts: 312000 | #Constraints: 16457
648.23/650.19 c #Conflicts: 313000 | #Constraints: 17457
648.23/650.19 c #Conflicts: 314000 | #Constraints: 18457
648.23/650.19 c #Conflicts: 315000 | #Constraints: 19457
648.23/650.19 c #Conflicts: 316000 | #Constraints: 20457
648.23/650.19 c #Conflicts: 317000 | #Constraints: 21457
648.23/650.19 c #Conflicts: 318000 | #Constraints: 22457
648.23/650.19 c #Conflicts: 319000 | #Constraints: 23457
648.23/650.19 c #Conflicts: 320000 | #Constraints: 24457
648.23/650.19 c #Conflicts: 321000 | #Constraints: 25457
648.23/650.19 c INPROCESSING
648.23/650.19 c GARBAGE COLLECT
648.23/650.19 c rational objective 1.09615e-12
671.66/673.66 c #Conflicts: 322000 | #Constraints: 15255
671.66/673.66 c #Conflicts: 323000 | #Constraints: 16255
671.66/673.66 c #Conflicts: 324000 | #Constraints: 17255
671.66/673.66 c #Conflicts: 325000 | #Constraints: 18255
671.66/673.66 c #Conflicts: 326000 | #Constraints: 19255
671.66/673.66 c #Conflicts: 327000 | #Constraints: 20255
671.66/673.66 c #Conflicts: 328000 | #Constraints: 21255
671.66/673.66 c #Conflicts: 329000 | #Constraints: 22255
671.66/673.66 c #Conflicts: 330000 | #Constraints: 23255
671.66/673.66 c #Conflicts: 331000 | #Constraints: 24255
671.66/673.66 c #Conflicts: 332000 | #Constraints: 25255
671.66/673.66 c #Conflicts: 333000 | #Constraints: 26255
671.66/673.66 c INPROCESSING
671.66/673.66 c GARBAGE COLLECT
671.66/673.66 c rational objective 1.09615e-12
700.58/702.61 c #Conflicts: 334000 | #Constraints: 15864
700.58/702.61 c #Conflicts: 335000 | #Constraints: 16864
700.58/702.61 c #Conflicts: 336000 | #Constraints: 17864
700.58/702.61 c #Conflicts: 337000 | #Constraints: 18864
700.58/702.61 c #Conflicts: 338000 | #Constraints: 19864
700.58/702.61 c #Conflicts: 339000 | #Constraints: 20864
700.58/702.61 c #Conflicts: 340000 | #Constraints: 21864
700.58/702.61 c #Conflicts: 341000 | #Constraints: 22864
700.58/702.61 c #Conflicts: 342000 | #Constraints: 23864
700.58/702.61 c #Conflicts: 343000 | #Constraints: 24864
700.58/702.61 c #Conflicts: 344000 | #Constraints: 25864
700.58/702.61 c #Conflicts: 345000 | #Constraints: 26864
700.58/702.61 c INPROCESSING
700.58/702.61 c GARBAGE COLLECT
700.58/702.61 c rational objective 1.09615e-12
736.09/738.29 c #Conflicts: 346000 | #Constraints: 16261
736.09/738.29 c #Conflicts: 347000 | #Constraints: 17261
736.09/738.29 c #Conflicts: 348000 | #Constraints: 18261
736.09/738.29 c #Conflicts: 349000 | #Constraints: 19261
736.09/738.29 c #Conflicts: 350000 | #Constraints: 20261
736.09/738.29 c #Conflicts: 351000 | #Constraints: 21261
736.09/738.29 c #Conflicts: 352000 | #Constraints: 22261
736.09/738.29 c #Conflicts: 353000 | #Constraints: 23261
736.09/738.29 c #Conflicts: 354000 | #Constraints: 24261
736.09/738.29 c #Conflicts: 355000 | #Constraints: 25261
736.09/738.29 c #Conflicts: 356000 | #Constraints: 26261
736.09/738.29 c #Conflicts: 357000 | #Constraints: 27261
736.09/738.29 c INPROCESSING
736.09/738.29 c GARBAGE COLLECT
736.09/738.29 c rational objective 1.09615e-12
768.30/770.56 c #Conflicts: 358000 | #Constraints: 16445
768.30/770.56 c #Conflicts: 359000 | #Constraints: 17445
768.30/770.56 c #Conflicts: 360000 | #Constraints: 18445
768.30/770.56 c #Conflicts: 361000 | #Constraints: 19445
768.30/770.56 c #Conflicts: 362000 | #Constraints: 20446
768.30/770.56 c #Conflicts: 363000 | #Constraints: 21446
768.30/770.56 c #Conflicts: 364000 | #Constraints: 22446
768.30/770.56 c #Conflicts: 365000 | #Constraints: 23446
768.30/770.56 c #Conflicts: 366000 | #Constraints: 24446
768.30/770.56 c #Conflicts: 367000 | #Constraints: 25446
768.30/770.56 c #Conflicts: 368000 | #Constraints: 26446
768.30/770.56 c #Conflicts: 369000 | #Constraints: 27446
768.30/770.56 c INPROCESSING
768.30/770.56 c GARBAGE COLLECT
768.30/770.56 c rational objective 1.09615e-12
798.92/801.23 c #Conflicts: 370000 | #Constraints: 16448
798.92/801.23 c #Conflicts: 371000 | #Constraints: 17448
798.92/801.23 c #Conflicts: 372000 | #Constraints: 18448
798.92/801.23 c #Conflicts: 373000 | #Constraints: 19448
798.92/801.23 c #Conflicts: 374000 | #Constraints: 20448
798.92/801.23 c #Conflicts: 375000 | #Constraints: 21448
798.92/801.23 c #Conflicts: 376000 | #Constraints: 22448
798.92/801.23 c #Conflicts: 377000 | #Constraints: 23448
798.92/801.23 c #Conflicts: 378000 | #Constraints: 24448
798.92/801.23 c #Conflicts: 379000 | #Constraints: 25448
798.92/801.23 c #Conflicts: 380000 | #Constraints: 26448
798.92/801.23 c #Conflicts: 381000 | #Constraints: 27448
798.92/801.23 c INPROCESSING
798.92/801.23 c GARBAGE COLLECT
798.92/801.23 c rational objective 1.09615e-12
836.42/838.86 c #Conflicts: 382000 | #Constraints: 16243
836.42/838.86 c #Conflicts: 383000 | #Constraints: 17243
836.42/838.86 c #Conflicts: 384000 | #Constraints: 18243
836.42/838.86 c #Conflicts: 385000 | #Constraints: 19243
836.42/838.86 c #Conflicts: 386000 | #Constraints: 20243
836.42/838.86 c #Conflicts: 387000 | #Constraints: 21243
836.42/838.86 c #Conflicts: 388000 | #Constraints: 22243
836.42/838.86 c #Conflicts: 389000 | #Constraints: 23243
836.42/838.86 c #Conflicts: 390000 | #Constraints: 24243
836.42/838.86 c #Conflicts: 391000 | #Constraints: 25243
836.42/838.86 c #Conflicts: 392000 | #Constraints: 26243
836.42/838.86 c #Conflicts: 393000 | #Constraints: 27243
836.42/838.86 c #Conflicts: 394000 | #Constraints: 28243
836.42/838.86 c INPROCESSING
836.42/838.86 c GARBAGE COLLECT
836.42/838.86 c rational objective 1.09615e-12
873.42/875.97 c #Conflicts: 395000 | #Constraints: 16861
873.42/875.97 c #Conflicts: 396000 | #Constraints: 17861
873.42/875.97 c #Conflicts: 397000 | #Constraints: 18861
873.42/875.97 c #Conflicts: 398000 | #Constraints: 19861
873.42/875.97 c #Conflicts: 399000 | #Constraints: 20861
873.42/875.97 c #Conflicts: 400000 | #Constraints: 21861
873.42/875.97 c #Conflicts: 401000 | #Constraints: 22861
873.42/875.97 c #Conflicts: 402000 | #Constraints: 23861
873.42/875.97 c #Conflicts: 403000 | #Constraints: 24861
873.42/875.97 c #Conflicts: 404000 | #Constraints: 25861
873.42/875.97 c #Conflicts: 405000 | #Constraints: 26861
873.42/875.97 c #Conflicts: 406000 | #Constraints: 27861
873.42/875.97 c #Conflicts: 407000 | #Constraints: 28861
873.42/875.97 c INPROCESSING
873.42/875.97 c GARBAGE COLLECT
873.42/875.97 c rational objective 1.09615e-12
917.51/920.13 c #Conflicts: 408000 | #Constraints: 17250
917.51/920.13 c #Conflicts: 409000 | #Constraints: 18250
917.51/920.13 c #Conflicts: 410000 | #Constraints: 19250
917.51/920.13 c #Conflicts: 411000 | #Constraints: 20250
917.51/920.13 c #Conflicts: 412000 | #Constraints: 21250
917.51/920.13 c #Conflicts: 413000 | #Constraints: 22250
917.51/920.13 c #Conflicts: 414000 | #Constraints: 23250
917.51/920.13 c #Conflicts: 415000 | #Constraints: 24250
917.51/920.13 c #Conflicts: 416000 | #Constraints: 25250
917.51/920.13 c #Conflicts: 417000 | #Constraints: 26250
917.51/920.13 c #Conflicts: 418000 | #Constraints: 27250
917.51/920.13 c #Conflicts: 419000 | #Constraints: 28250
917.51/920.13 c #Conflicts: 420000 | #Constraints: 29250
917.51/920.13 c INPROCESSING
917.51/920.13 c GARBAGE COLLECT
917.51/920.13 c rational objective 1.09615e-12
975.15/977.99 c #Conflicts: 421000 | #Constraints: 17462
975.15/977.99 c #Conflicts: 422000 | #Constraints: 18462
975.15/977.99 c #Conflicts: 423000 | #Constraints: 19462
975.15/977.99 c #Conflicts: 424000 | #Constraints: 20462
975.15/977.99 c #Conflicts: 425000 | #Constraints: 21462
975.15/977.99 c #Conflicts: 426000 | #Constraints: 22462
975.15/977.99 c #Conflicts: 427000 | #Constraints: 23462
975.15/977.99 c #Conflicts: 428000 | #Constraints: 24462
975.15/977.99 c #Conflicts: 429000 | #Constraints: 25462
975.15/977.99 c #Conflicts: 430000 | #Constraints: 26462
975.15/977.99 c #Conflicts: 431000 | #Constraints: 27462
975.15/977.99 c #Conflicts: 432000 | #Constraints: 28462
975.15/977.99 c #Conflicts: 433000 | #Constraints: 29462
975.15/977.99 c INPROCESSING
975.15/977.99 c GARBAGE COLLECT
975.15/977.99 c rational objective 1.09615e-12
1015.34/1018.29 c #Conflicts: 434000 | #Constraints: 17451
1015.34/1018.29 c #Conflicts: 435000 | #Constraints: 18451
1015.34/1018.29 c #Conflicts: 436000 | #Constraints: 19451
1015.34/1018.29 c #Conflicts: 437000 | #Constraints: 20451
1015.34/1018.29 c #Conflicts: 438000 | #Constraints: 21451
1015.34/1018.29 c #Conflicts: 439000 | #Constraints: 22451
1015.34/1018.29 c #Conflicts: 440000 | #Constraints: 23451
1015.34/1018.29 c #Conflicts: 441000 | #Constraints: 24451
1015.34/1018.29 c #Conflicts: 442000 | #Constraints: 25451
1015.34/1018.29 c #Conflicts: 443000 | #Constraints: 26451
1015.34/1018.29 c #Conflicts: 444000 | #Constraints: 27451
1015.34/1018.29 c #Conflicts: 445000 | #Constraints: 28451
1015.34/1018.29 c #Conflicts: 446000 | #Constraints: 29451
1015.34/1018.29 c INPROCESSING
1015.34/1018.29 c GARBAGE COLLECT
1015.34/1018.29 c rational objective 1.09615e-12
1051.03/1054.06 c #Conflicts: 447000 | #Constraints: 17266
1051.03/1054.06 c #Conflicts: 448000 | #Constraints: 18266
1051.03/1054.06 c #Conflicts: 449000 | #Constraints: 19266
1051.03/1054.06 c #Conflicts: 450000 | #Constraints: 20266
1051.03/1054.06 c #Conflicts: 451000 | #Constraints: 21266
1051.03/1054.06 c #Conflicts: 452000 | #Constraints: 22266
1051.03/1054.06 c #Conflicts: 453000 | #Constraints: 23266
1051.03/1054.06 c #Conflicts: 454000 | #Constraints: 24266
1051.03/1054.06 c #Conflicts: 455000 | #Constraints: 25266
1051.03/1054.06 c #Conflicts: 456000 | #Constraints: 26266
1051.03/1054.06 c #Conflicts: 457000 | #Constraints: 27266
1051.03/1054.06 c #Conflicts: 458000 | #Constraints: 28266
1051.03/1054.06 c #Conflicts: 459000 | #Constraints: 29266
1051.03/1054.06 c #Conflicts: 460000 | #Constraints: 30266
1051.03/1054.06 c INPROCESSING
1051.03/1054.06 c GARBAGE COLLECT
1051.03/1054.06 c rational objective 1.09615e-12
1088.33/1091.44 c #Conflicts: 461000 | #Constraints: 17861
1088.33/1091.44 c #Conflicts: 462000 | #Constraints: 18861
1088.33/1091.44 c #Conflicts: 463000 | #Constraints: 19861
1088.33/1091.44 c #Conflicts: 464000 | #Constraints: 20861
1088.33/1091.44 c #Conflicts: 465000 | #Constraints: 21861
1088.33/1091.44 c #Conflicts: 466000 | #Constraints: 22861
1088.33/1091.44 c #Conflicts: 467000 | #Constraints: 23861
1088.33/1091.44 c #Conflicts: 468000 | #Constraints: 24861
1088.33/1091.44 c #Conflicts: 469000 | #Constraints: 25861
1088.33/1091.44 c #Conflicts: 470000 | #Constraints: 26861
1088.33/1091.44 c #Conflicts: 471000 | #Constraints: 27861
1088.33/1091.44 c #Conflicts: 472000 | #Constraints: 28861
1088.33/1091.44 c #Conflicts: 473000 | #Constraints: 29861
1088.33/1091.44 c #Conflicts: 474000 | #Constraints: 30861
1088.33/1091.44 c INPROCESSING
1088.33/1091.44 c GARBAGE COLLECT
1088.33/1091.44 c rational objective 1.09615e-12
1148.65/1151.91 c #Conflicts: 475000 | #Constraints: 18253
1148.65/1151.91 c #Conflicts: 476000 | #Constraints: 19253
1148.65/1151.91 c #Conflicts: 477000 | #Constraints: 20253
1148.65/1151.91 c #Conflicts: 478000 | #Constraints: 21253
1148.65/1151.91 c #Conflicts: 479000 | #Constraints: 22253
1148.65/1151.91 c #Conflicts: 480000 | #Constraints: 23253
1148.65/1151.91 c #Conflicts: 481000 | #Constraints: 24253
1148.65/1151.91 c #Conflicts: 482000 | #Constraints: 25253
1148.65/1151.91 c #Conflicts: 483000 | #Constraints: 26253
1148.65/1151.91 c #Conflicts: 484000 | #Constraints: 27253
1148.65/1151.91 c #Conflicts: 485000 | #Constraints: 28253
1148.65/1151.91 c #Conflicts: 486000 | #Constraints: 29253
1148.65/1151.91 c #Conflicts: 487000 | #Constraints: 30253
1148.65/1151.91 c #Conflicts: 488000 | #Constraints: 31253
1148.65/1151.91 c INPROCESSING
1148.65/1151.91 c GARBAGE COLLECT
1148.65/1151.91 c rational objective 1.09615e-12
1208.99/1212.41 c #Conflicts: 489000 | #Constraints: 18455
1208.99/1212.41 c #Conflicts: 490000 | #Constraints: 19455
1208.99/1212.41 c #Conflicts: 491000 | #Constraints: 20455
1208.99/1212.41 c #Conflicts: 492000 | #Constraints: 21455
1208.99/1212.41 c #Conflicts: 493000 | #Constraints: 22455
1208.99/1212.41 c #Conflicts: 494000 | #Constraints: 23455
1208.99/1212.41 c #Conflicts: 495000 | #Constraints: 24455
1208.99/1212.41 c #Conflicts: 496000 | #Constraints: 25455
1208.99/1212.41 c #Conflicts: 497000 | #Constraints: 26455
1208.99/1212.41 c #Conflicts: 498000 | #Constraints: 27455
1208.99/1212.41 c #Conflicts: 499000 | #Constraints: 28455
1208.99/1212.41 c #Conflicts: 500000 | #Constraints: 29455
1208.99/1212.41 c #Conflicts: 501000 | #Constraints: 30455
1208.99/1212.41 c #Conflicts: 502000 | #Constraints: 31455
1208.99/1212.41 c INPROCESSING
1208.99/1212.41 c GARBAGE COLLECT
1208.99/1212.41 c rational objective 1.09615e-12
1267.12/1270.73 c #Conflicts: 503000 | #Constraints: 18461
1267.12/1270.73 c #Conflicts: 504000 | #Constraints: 19461
1267.12/1270.73 c #Conflicts: 505000 | #Constraints: 20461
1267.12/1270.73 c #Conflicts: 506000 | #Constraints: 21461
1267.12/1270.73 c #Conflicts: 507000 | #Constraints: 22461
1267.12/1270.73 c #Conflicts: 508000 | #Constraints: 23461
1267.12/1270.73 c #Conflicts: 509000 | #Constraints: 24461
1267.12/1270.73 c #Conflicts: 510000 | #Constraints: 25461
1267.12/1270.73 c #Conflicts: 511000 | #Constraints: 26461
1267.12/1270.73 c #Conflicts: 512000 | #Constraints: 27461
1267.12/1270.73 c #Conflicts: 513000 | #Constraints: 28461
1267.12/1270.73 c #Conflicts: 514000 | #Constraints: 29461
1267.12/1270.73 c #Conflicts: 515000 | #Constraints: 30461
1267.12/1270.73 c #Conflicts: 516000 | #Constraints: 31461
1267.12/1270.73 c INPROCESSING
1267.12/1270.73 c GARBAGE COLLECT
1267.12/1270.73 c rational objective 1.09615e-12
1319.08/1322.89 c #Conflicts: 517000 | #Constraints: 18257
1319.08/1322.89 c #Conflicts: 518000 | #Constraints: 19257
1319.08/1322.89 c #Conflicts: 519000 | #Constraints: 20257
1319.08/1322.89 c #Conflicts: 520000 | #Constraints: 21257
1319.08/1322.89 c #Conflicts: 521000 | #Constraints: 22257
1319.08/1322.89 c #Conflicts: 522000 | #Constraints: 23257
1319.08/1322.89 c #Conflicts: 523000 | #Constraints: 24257
1319.08/1322.89 c #Conflicts: 524000 | #Constraints: 25257
1319.08/1322.89 c #Conflicts: 525000 | #Constraints: 26257
1319.08/1322.89 c #Conflicts: 526000 | #Constraints: 27257
1319.08/1322.89 c #Conflicts: 527000 | #Constraints: 28257
1319.08/1322.89 c #Conflicts: 528000 | #Constraints: 29257
1319.08/1322.89 c #Conflicts: 529000 | #Constraints: 30257
1319.08/1322.89 c #Conflicts: 530000 | #Constraints: 31257
1319.08/1322.89 c #Conflicts: 531000 | #Constraints: 32257
1319.08/1322.89 c INPROCESSING
1319.08/1322.89 c GARBAGE COLLECT
1319.08/1322.89 c rational objective 1.09615e-12
1379.01/1382.92 c #Conflicts: 532000 | #Constraints: 18856
1379.01/1382.92 c #Conflicts: 533000 | #Constraints: 19856
1379.01/1382.92 c #Conflicts: 534000 | #Constraints: 20856
1379.01/1382.92 c #Conflicts: 535000 | #Constraints: 21856
1379.01/1382.92 c #Conflicts: 536000 | #Constraints: 22856
1379.01/1382.92 c #Conflicts: 537000 | #Constraints: 23856
1379.01/1382.92 c #Conflicts: 538000 | #Constraints: 24856
1379.01/1382.92 c #Conflicts: 539000 | #Constraints: 25856
1379.01/1382.92 c #Conflicts: 540000 | #Constraints: 26856
1379.01/1382.92 c #Conflicts: 541000 | #Constraints: 27856
1379.01/1382.92 c #Conflicts: 542000 | #Constraints: 28856
1379.01/1382.92 c #Conflicts: 543000 | #Constraints: 29856
1379.01/1382.92 c #Conflicts: 544000 | #Constraints: 30856
1379.01/1382.92 c #Conflicts: 545000 | #Constraints: 31856
1379.01/1382.92 c #Conflicts: 546000 | #Constraints: 32856
1379.01/1382.92 c INPROCESSING
1379.01/1382.92 c GARBAGE COLLECT
1379.01/1382.92 c rational objective 1.09615e-12
1431.16/1435.29 c #Conflicts: 547000 | #Constraints: 19253
1431.16/1435.29 c #Conflicts: 548000 | #Constraints: 20253
1431.16/1435.29 c #Conflicts: 549000 | #Constraints: 21253
1431.16/1435.29 c #Conflicts: 550000 | #Constraints: 22253
1431.16/1435.29 c #Conflicts: 551000 | #Constraints: 23253
1431.16/1435.29 c #Conflicts: 552000 | #Constraints: 24253
1431.16/1435.29 c #Conflicts: 553000 | #Constraints: 25253
1431.16/1435.29 c #Conflicts: 554000 | #Constraints: 26253
1431.16/1435.29 c #Conflicts: 555000 | #Constraints: 27253
1431.16/1435.29 c #Conflicts: 556000 | #Constraints: 28253
1431.16/1435.29 c #Conflicts: 557000 | #Constraints: 29253
1431.16/1435.29 c #Conflicts: 558000 | #Constraints: 30253
1431.16/1435.29 c #Conflicts: 559000 | #Constraints: 31253
1431.16/1435.29 c #Conflicts: 560000 | #Constraints: 32253
1431.16/1435.29 c #Conflicts: 561000 | #Constraints: 33253
1431.16/1435.29 c INPROCESSING
1431.16/1435.29 c GARBAGE COLLECT
1431.16/1435.29 c rational objective 1.09615e-12
1487.20/1491.47 c #Conflicts: 562000 | #Constraints: 19461
1487.20/1491.47 c #Conflicts: 563000 | #Constraints: 20461
1487.20/1491.47 c #Conflicts: 564000 | #Constraints: 21461
1487.20/1491.47 c #Conflicts: 565000 | #Constraints: 22461
1487.20/1491.47 c #Conflicts: 566000 | #Constraints: 23461
1487.20/1491.47 c #Conflicts: 567000 | #Constraints: 24461
1487.20/1491.47 c #Conflicts: 568000 | #Constraints: 25461
1487.20/1491.47 c #Conflicts: 569000 | #Constraints: 26461
1487.20/1491.47 c #Conflicts: 570000 | #Constraints: 27461
1487.20/1491.47 c #Conflicts: 571000 | #Constraints: 28461
1487.20/1491.47 c #Conflicts: 572000 | #Constraints: 29461
1487.20/1491.47 c #Conflicts: 573000 | #Constraints: 30461
1487.20/1491.47 c #Conflicts: 574000 | #Constraints: 31461
1487.20/1491.47 c #Conflicts: 575000 | #Constraints: 32461
1487.20/1491.47 c #Conflicts: 576000 | #Constraints: 33461
1487.20/1491.47 c INPROCESSING
1487.20/1491.47 c GARBAGE COLLECT
1487.20/1491.47 c rational objective 1.09615e-12
1545.04/1549.40 c #Conflicts: 577000 | #Constraints: 19459
1545.04/1549.40 c #Conflicts: 578000 | #Constraints: 20459
1545.04/1549.40 c #Conflicts: 579000 | #Constraints: 21459
1545.04/1549.40 c #Conflicts: 580000 | #Constraints: 22459
1545.04/1549.40 c #Conflicts: 581000 | #Constraints: 23459
1545.04/1549.40 c #Conflicts: 582000 | #Constraints: 24459
1545.04/1549.40 c #Conflicts: 583000 | #Constraints: 25459
1545.04/1549.40 c #Conflicts: 584000 | #Constraints: 26459
1545.04/1549.40 c #Conflicts: 585000 | #Constraints: 27459
1545.04/1549.40 c #Conflicts: 586000 | #Constraints: 28459
1545.04/1549.40 c #Conflicts: 587000 | #Constraints: 29459
1545.04/1549.40 c #Conflicts: 588000 | #Constraints: 30459
1545.04/1549.40 c #Conflicts: 589000 | #Constraints: 31459
1545.04/1549.40 c #Conflicts: 590000 | #Constraints: 32459
1545.04/1549.40 c #Conflicts: 591000 | #Constraints: 33459
1545.04/1549.40 c INPROCESSING
1545.04/1549.40 c GARBAGE COLLECT
1545.04/1549.40 c rational objective 1.09615e-12
1600.69/1605.21 c #Conflicts: 592000 | #Constraints: 19264
1600.69/1605.21 c #Conflicts: 593000 | #Constraints: 20264
1600.69/1605.21 c #Conflicts: 594000 | #Constraints: 21264
1600.69/1605.21 c #Conflicts: 595000 | #Constraints: 22264
1600.69/1605.21 c #Conflicts: 596000 | #Constraints: 23264
1600.69/1605.21 c #Conflicts: 597000 | #Constraints: 24264
1600.69/1605.21 c #Conflicts: 598000 | #Constraints: 25264
1600.69/1605.21 c #Conflicts: 599000 | #Constraints: 26264
1600.69/1605.21 c #Conflicts: 600000 | #Constraints: 27264
1600.69/1605.21 c #Conflicts: 601000 | #Constraints: 28264
1600.69/1605.21 c #Conflicts: 602000 | #Constraints: 29264
1600.69/1605.21 c #Conflicts: 603000 | #Constraints: 30264
1600.69/1605.21 c #Conflicts: 604000 | #Constraints: 31264
1600.69/1605.21 c #Conflicts: 605000 | #Constraints: 32264
1600.69/1605.21 c #Conflicts: 606000 | #Constraints: 33264
1600.69/1605.21 c #Conflicts: 607000 | #Constraints: 34264
1600.69/1605.21 c INPROCESSING
1600.69/1605.21 c GARBAGE COLLECT
1600.69/1605.21 c rational objective 1.09615e-12
1671.49/1676.25 c #Conflicts: 608000 | #Constraints: 19869
1671.49/1676.25 c #Conflicts: 609000 | #Constraints: 20869
1671.49/1676.25 c #Conflicts: 610000 | #Constraints: 21869
1671.49/1676.25 c #Conflicts: 611000 | #Constraints: 22869
1671.49/1676.25 c #Conflicts: 612000 | #Constraints: 23869
1671.49/1676.25 c #Conflicts: 613000 | #Constraints: 24869
1671.49/1676.25 c #Conflicts: 614000 | #Constraints: 25869
1671.49/1676.25 c #Conflicts: 615000 | #Constraints: 26869
1671.49/1676.25 c #Conflicts: 616000 | #Constraints: 27869
1671.49/1676.25 c #Conflicts: 617000 | #Constraints: 28869
1671.49/1676.25 c #Conflicts: 618000 | #Constraints: 29869
1671.49/1676.25 c #Conflicts: 619000 | #Constraints: 30869
1671.49/1676.25 c #Conflicts: 620000 | #Constraints: 31869
1671.49/1676.25 c #Conflicts: 621000 | #Constraints: 32869
1671.49/1676.25 c #Conflicts: 622000 | #Constraints: 33869
1671.49/1676.25 c #Conflicts: 623000 | #Constraints: 34869
1671.49/1676.25 c INPROCESSING
1671.49/1676.25 c GARBAGE COLLECT
1671.49/1676.25 c rational objective 1.09615e-12
1732.72/1737.62 c #Conflicts: 624000 | #Constraints: 20262
1732.72/1737.62 c #Conflicts: 625000 | #Constraints: 21262
1732.72/1737.62 c #Conflicts: 626000 | #Constraints: 22262
1732.72/1737.62 c #Conflicts: 627000 | #Constraints: 23262
1732.72/1737.62 c #Conflicts: 628000 | #Constraints: 24262
1732.72/1737.62 c #Conflicts: 629000 | #Constraints: 25262
1732.72/1737.62 c #Conflicts: 630000 | #Constraints: 26262
1732.72/1737.62 c #Conflicts: 631000 | #Constraints: 27262
1732.72/1737.62 c #Conflicts: 632000 | #Constraints: 28262
1732.72/1737.62 c #Conflicts: 633000 | #Constraints: 29262
1732.72/1737.62 c #Conflicts: 634000 | #Constraints: 30262
1732.72/1737.62 c #Conflicts: 635000 | #Constraints: 31262
1732.72/1737.62 c #Conflicts: 636000 | #Constraints: 32262
1732.72/1737.62 c #Conflicts: 637000 | #Constraints: 33263
1732.72/1737.62 c #Conflicts: 638000 | #Constraints: 34263
1732.72/1737.62 c #Conflicts: 639000 | #Constraints: 35263
1732.72/1737.62 c INPROCESSING
1732.72/1737.62 c GARBAGE COLLECT
1732.72/1737.62 c rational objective 1.09615e-12
1788.17/1793.26 c #Conflicts: 640000 | #Constraints: 20464
1788.17/1793.26 c #Conflicts: 641000 | #Constraints: 21464
1788.17/1793.26 c #Conflicts: 642000 | #Constraints: 22464
1788.17/1793.26 c #Conflicts: 643000 | #Constraints: 23464
1788.17/1793.26 c #Conflicts: 644000 | #Constraints: 24464
1788.17/1793.26 c #Conflicts: 645000 | #Constraints: 25464
1788.17/1793.26 c #Conflicts: 646000 | #Constraints: 26464
1788.17/1793.26 c #Conflicts: 647000 | #Constraints: 27464
1788.17/1793.26 c #Conflicts: 648000 | #Constraints: 28464
1788.17/1793.26 c #Conflicts: 649000 | #Constraints: 29464
1788.17/1793.26 c #Conflicts: 650000 | #Constraints: 30464
1788.17/1793.26 c #Conflicts: 651000 | #Constraints: 31464
1788.17/1793.26 c #Conflicts: 652000 | #Constraints: 32464
1788.17/1793.26 c #Conflicts: 653000 | #Constraints: 33464
1788.17/1793.26 c #Conflicts: 654000 | #Constraints: 34464
1788.17/1793.26 c #Conflicts: 655000 | #Constraints: 35464
1788.17/1793.26 c INPROCESSING
1788.17/1793.26 c GARBAGE COLLECT
1788.17/1793.26 c rational objective 1.09615e-12
1856.38/1861.67 c #Conflicts: 656000 | #Constraints: 20459
1856.38/1861.67 c #Conflicts: 657000 | #Constraints: 21459
1856.38/1861.67 c #Conflicts: 658000 | #Constraints: 22459
1856.38/1861.67 c #Conflicts: 659000 | #Constraints: 23459
1856.38/1861.67 c #Conflicts: 660000 | #Constraints: 24459
1856.38/1861.67 c #Conflicts: 661000 | #Constraints: 25459
1856.38/1861.67 c #Conflicts: 662000 | #Constraints: 26459
1856.38/1861.67 c #Conflicts: 663000 | #Constraints: 27459
1856.38/1861.67 c #Conflicts: 664000 | #Constraints: 28459
1856.38/1861.67 c #Conflicts: 665000 | #Constraints: 29459
1856.38/1861.67 c #Conflicts: 666000 | #Constraints: 30459
1856.38/1861.67 c #Conflicts: 667000 | #Constraints: 31459
1856.38/1861.67 c #Conflicts: 668000 | #Constraints: 32459
1856.38/1861.67 c #Conflicts: 669000 | #Constraints: 33459
1856.38/1861.67 c #Conflicts: 670000 | #Constraints: 34459
1856.38/1861.67 c #Conflicts: 671000 | #Constraints: 35459
1856.38/1861.67 c INPROCESSING
1856.38/1861.67 c GARBAGE COLLECT
1856.38/1861.67 c rational objective 1.09615e-12
1917.50/1922.97 c #Conflicts: 672000 | #Constraints: 20250
1917.50/1922.97 c #Conflicts: 673000 | #Constraints: 21250
1917.50/1922.97 c #Conflicts: 674000 | #Constraints: 22250
1917.50/1922.97 c #Conflicts: 675000 | #Constraints: 23250
1917.50/1922.97 c #Conflicts: 676000 | #Constraints: 24250
1917.50/1922.97 c #Conflicts: 677000 | #Constraints: 25250
1917.50/1922.97 c #Conflicts: 678000 | #Constraints: 26250
1917.50/1922.97 c #Conflicts: 679000 | #Constraints: 27250
1917.50/1922.97 c #Conflicts: 680000 | #Constraints: 28250
1917.50/1922.97 c #Conflicts: 681000 | #Constraints: 29250
1917.50/1922.97 c #Conflicts: 682000 | #Constraints: 30250
1917.50/1922.97 c #Conflicts: 683000 | #Constraints: 31250
1917.50/1922.97 c #Conflicts: 684000 | #Constraints: 32250
1917.50/1922.97 c #Conflicts: 685000 | #Constraints: 33250
1917.50/1922.97 c #Conflicts: 686000 | #Constraints: 34250
1917.50/1922.97 c #Conflicts: 687000 | #Constraints: 35250
1917.50/1922.97 c #Conflicts: 688000 | #Constraints: 36250
1917.50/1922.97 c INPROCESSING
1917.50/1922.97 c GARBAGE COLLECT
1917.50/1922.97 c rational objective 1.09615e-12
1975.24/1980.84 c #Conflicts: 689000 | #Constraints: 20862
1975.24/1980.84 c #Conflicts: 690000 | #Constraints: 21862
1975.24/1980.84 c #Conflicts: 691000 | #Constraints: 22862
1975.24/1980.84 c #Conflicts: 692000 | #Constraints: 23862
1975.24/1980.84 c #Conflicts: 693000 | #Constraints: 24862
1975.24/1980.84 c #Conflicts: 694000 | #Constraints: 25862
1975.24/1980.84 c #Conflicts: 695000 | #Constraints: 26862
1975.24/1980.84 c #Conflicts: 696000 | #Constraints: 27862
1975.24/1980.84 c #Conflicts: 697000 | #Constraints: 28862
1975.24/1980.84 c #Conflicts: 698000 | #Constraints: 29862
1975.24/1980.84 c #Conflicts: 699000 | #Constraints: 30862
1975.24/1980.84 c #Conflicts: 700000 | #Constraints: 31862
1975.24/1980.84 c #Conflicts: 701000 | #Constraints: 32862
1975.24/1980.84 c #Conflicts: 702000 | #Constraints: 33862
1975.24/1980.84 c #Conflicts: 703000 | #Constraints: 34862
1975.24/1980.84 c #Conflicts: 704000 | #Constraints: 35862
1975.24/1980.84 c #Conflicts: 705000 | #Constraints: 36862
1975.24/1980.84 c INPROCESSING
1975.24/1980.84 c GARBAGE COLLECT
1975.24/1980.84 c rational objective 1.09615e-12
2049.03/2054.84 c #Conflicts: 706000 | #Constraints: 21263
2049.03/2054.84 c #Conflicts: 707000 | #Constraints: 22263
2049.03/2054.84 c #Conflicts: 708000 | #Constraints: 23263
2049.03/2054.84 c #Conflicts: 709000 | #Constraints: 24263
2049.03/2054.84 c #Conflicts: 710000 | #Constraints: 25263
2049.03/2054.84 c #Conflicts: 711000 | #Constraints: 26263
2049.03/2054.84 c #Conflicts: 712000 | #Constraints: 27263
2049.03/2054.84 c #Conflicts: 713000 | #Constraints: 28263
2049.03/2054.84 c #Conflicts: 714000 | #Constraints: 29263
2049.03/2054.84 c #Conflicts: 715000 | #Constraints: 30263
2049.03/2054.84 c #Conflicts: 716000 | #Constraints: 31263
2049.03/2054.84 c #Conflicts: 717000 | #Constraints: 32263
2049.03/2054.84 c #Conflicts: 718000 | #Constraints: 33263
2049.03/2054.84 c #Conflicts: 719000 | #Constraints: 34263
2049.03/2054.84 c #Conflicts: 720000 | #Constraints: 35263
2049.03/2054.84 c #Conflicts: 721000 | #Constraints: 36263
2049.03/2054.84 c #Conflicts: 722000 | #Constraints: 37263
2049.03/2054.84 c INPROCESSING
2049.03/2054.84 c GARBAGE COLLECT
2049.03/2054.84 c rational objective 1.09615e-12
2130.90/2136.96 c #Conflicts: 723000 | #Constraints: 21487
2130.90/2136.96 c #Conflicts: 724000 | #Constraints: 22487
2130.90/2136.96 c #Conflicts: 725000 | #Constraints: 23487
2130.90/2136.96 c #Conflicts: 726000 | #Constraints: 24487
2130.90/2136.96 c #Conflicts: 727000 | #Constraints: 25487
2130.90/2136.96 c #Conflicts: 728000 | #Constraints: 26487
2130.90/2136.96 c #Conflicts: 729000 | #Constraints: 27487
2130.90/2136.96 c #Conflicts: 730000 | #Constraints: 28487
2130.90/2136.96 c #Conflicts: 731000 | #Constraints: 29487
2130.90/2136.96 c #Conflicts: 732000 | #Constraints: 30487
2130.90/2136.96 c #Conflicts: 733000 | #Constraints: 31487
2130.90/2136.96 c #Conflicts: 734000 | #Constraints: 32487
2130.90/2136.96 c #Conflicts: 735000 | #Constraints: 33487
2130.90/2136.96 c #Conflicts: 736000 | #Constraints: 34487
2130.90/2136.96 c #Conflicts: 737000 | #Constraints: 35487
2130.90/2136.96 c #Conflicts: 738000 | #Constraints: 36487
2130.90/2136.96 c #Conflicts: 739000 | #Constraints: 37487
2130.90/2136.96 c INPROCESSING
2130.90/2136.96 c GARBAGE COLLECT
2130.90/2136.96 c rational objective 1.09615e-12
2212.67/2219.00 c #Conflicts: 740000 | #Constraints: 21471
2212.67/2219.00 c #Conflicts: 741000 | #Constraints: 22471
2212.67/2219.00 c #Conflicts: 742000 | #Constraints: 23471
2212.67/2219.00 c #Conflicts: 743000 | #Constraints: 24471
2212.67/2219.00 c #Conflicts: 744000 | #Constraints: 25471
2212.67/2219.00 c #Conflicts: 745000 | #Constraints: 26471
2212.67/2219.00 c #Conflicts: 746000 | #Constraints: 27471
2212.67/2219.00 c #Conflicts: 747000 | #Constraints: 28471
2212.67/2219.00 c #Conflicts: 748000 | #Constraints: 29471
2212.67/2219.00 c #Conflicts: 749000 | #Constraints: 30471
2212.67/2219.00 c #Conflicts: 750000 | #Constraints: 31471
2212.67/2219.00 c #Conflicts: 751000 | #Constraints: 32471
2212.67/2219.00 c #Conflicts: 752000 | #Constraints: 33471
2212.67/2219.00 c #Conflicts: 753000 | #Constraints: 34471
2212.67/2219.00 c #Conflicts: 754000 | #Constraints: 35471
2212.67/2219.00 c #Conflicts: 755000 | #Constraints: 36471
2212.67/2219.00 c #Conflicts: 756000 | #Constraints: 37471
2212.67/2219.00 c INPROCESSING
2212.67/2219.00 c GARBAGE COLLECT
2212.67/2219.00 c rational objective 1.09615e-12
2276.09/2282.54 c #Conflicts: 757000 | #Constraints: 21275
2276.09/2282.54 c #Conflicts: 758000 | #Constraints: 22275
2276.09/2282.54 c #Conflicts: 759000 | #Constraints: 23275
2276.09/2282.54 c #Conflicts: 760000 | #Constraints: 24275
2276.09/2282.54 c #Conflicts: 761000 | #Constraints: 25275
2276.09/2282.54 c #Conflicts: 762000 | #Constraints: 26275
2276.09/2282.54 c #Conflicts: 763000 | #Constraints: 27275
2276.09/2282.54 c #Conflicts: 764000 | #Constraints: 28275
2276.09/2282.54 c #Conflicts: 765000 | #Constraints: 29275
2276.09/2282.54 c #Conflicts: 766000 | #Constraints: 30275
2276.09/2282.54 c #Conflicts: 767000 | #Constraints: 31275
2276.09/2282.54 c #Conflicts: 768000 | #Constraints: 32275
2276.09/2282.54 c #Conflicts: 769000 | #Constraints: 33275
2276.09/2282.54 c #Conflicts: 770000 | #Constraints: 34275
2276.09/2282.54 c #Conflicts: 771000 | #Constraints: 35275
2276.09/2282.54 c #Conflicts: 772000 | #Constraints: 36275
2276.09/2282.54 c #Conflicts: 773000 | #Constraints: 37275
2276.09/2282.54 c #Conflicts: 774000 | #Constraints: 38275
2276.09/2282.54 c INPROCESSING
2276.09/2282.54 c GARBAGE COLLECT
2276.09/2282.54 c rational objective 1.09615e-12
2349.89/2356.54 c #Conflicts: 775000 | #Constraints: 21865
2349.89/2356.54 c #Conflicts: 776000 | #Constraints: 22865
2349.89/2356.54 c #Conflicts: 777000 | #Constraints: 23865
2349.89/2356.54 c #Conflicts: 778000 | #Constraints: 24865
2349.89/2356.54 c #Conflicts: 779000 | #Constraints: 25865
2349.89/2356.54 c #Conflicts: 780000 | #Constraints: 26865
2349.89/2356.54 c #Conflicts: 781000 | #Constraints: 27865
2349.89/2356.54 c #Conflicts: 782000 | #Constraints: 28865
2349.89/2356.54 c #Conflicts: 783000 | #Constraints: 29865
2349.89/2356.54 c #Conflicts: 784000 | #Constraints: 30865
2349.89/2356.54 c #Conflicts: 785000 | #Constraints: 31865
2349.89/2356.54 c #Conflicts: 786000 | #Constraints: 32865
2349.89/2356.54 c #Conflicts: 787000 | #Constraints: 33865
2349.89/2356.54 c #Conflicts: 788000 | #Constraints: 34865
2349.89/2356.54 c #Conflicts: 789000 | #Constraints: 35865
2349.89/2356.54 c #Conflicts: 790000 | #Constraints: 36865
2349.89/2356.54 c #Conflicts: 791000 | #Constraints: 37865
2349.89/2356.54 c #Conflicts: 792000 | #Constraints: 38865
2349.89/2356.54 c INPROCESSING
2349.89/2356.54 c GARBAGE COLLECT
2349.89/2356.54 c rational objective 1.09615e-12
2422.38/2429.28 c #Conflicts: 793000 | #Constraints: 22262
2422.38/2429.28 c #Conflicts: 794000 | #Constraints: 23262
2422.38/2429.28 c #Conflicts: 795000 | #Constraints: 24262
2422.38/2429.28 c #Conflicts: 796000 | #Constraints: 25262
2422.38/2429.28 c #Conflicts: 797000 | #Constraints: 26262
2422.38/2429.28 c #Conflicts: 798000 | #Constraints: 27262
2422.38/2429.28 c #Conflicts: 799000 | #Constraints: 28262
2422.38/2429.28 c #Conflicts: 800000 | #Constraints: 29262
2422.38/2429.28 c #Conflicts: 801000 | #Constraints: 30262
2422.38/2429.28 c #Conflicts: 802000 | #Constraints: 31262
2422.38/2429.28 c #Conflicts: 803000 | #Constraints: 32262
2422.38/2429.28 c #Conflicts: 804000 | #Constraints: 33262
2422.38/2429.28 c #Conflicts: 805000 | #Constraints: 34262
2422.38/2429.28 c #Conflicts: 806000 | #Constraints: 35262
2422.38/2429.28 c #Conflicts: 807000 | #Constraints: 36262
2422.38/2429.28 c #Conflicts: 808000 | #Constraints: 37262
2422.38/2429.28 c #Conflicts: 809000 | #Constraints: 38262
2422.38/2429.28 c #Conflicts: 810000 | #Constraints: 39262
2422.38/2429.28 c INPROCESSING
2422.38/2429.28 c GARBAGE COLLECT
2422.38/2429.28 c rational objective 1.09615e-12
2493.09/2500.14 c #Conflicts: 811000 | #Constraints: 22468
2493.09/2500.14 c #Conflicts: 812000 | #Constraints: 23468
2493.09/2500.14 c #Conflicts: 813000 | #Constraints: 24468
2493.09/2500.14 c #Conflicts: 814000 | #Constraints: 25468
2493.09/2500.14 c #Conflicts: 815000 | #Constraints: 26468
2493.09/2500.14 c #Conflicts: 816000 | #Constraints: 27468
2493.09/2500.14 c #Conflicts: 817000 | #Constraints: 28468
2493.09/2500.14 c #Conflicts: 818000 | #Constraints: 29468
2493.09/2500.14 c #Conflicts: 819000 | #Constraints: 30468
2493.09/2500.14 c #Conflicts: 820000 | #Constraints: 31468
2493.09/2500.14 c #Conflicts: 821000 | #Constraints: 32468
2493.09/2500.14 c #Conflicts: 822000 | #Constraints: 33468
2493.09/2500.14 c #Conflicts: 823000 | #Constraints: 34468
2493.09/2500.14 c #Conflicts: 824000 | #Constraints: 35468
2493.09/2500.14 c #Conflicts: 825000 | #Constraints: 36468
2493.09/2500.14 c #Conflicts: 826000 | #Constraints: 37468
2493.09/2500.14 c #Conflicts: 827000 | #Constraints: 38468
2493.09/2500.14 c #Conflicts: 828000 | #Constraints: 39468
2493.09/2500.14 c INPROCESSING
2493.09/2500.14 c GARBAGE COLLECT
2493.09/2500.14 c rational objective 1.09615e-12
2554.01/2561.28 c #Conflicts: 829000 | #Constraints: 22477
2554.01/2561.28 c #Conflicts: 830000 | #Constraints: 23477
2554.01/2561.28 c #Conflicts: 831000 | #Constraints: 24477
2554.01/2561.28 c #Conflicts: 832000 | #Constraints: 25477
2554.01/2561.28 c #Conflicts: 833000 | #Constraints: 26477
2554.01/2561.28 c #Conflicts: 834000 | #Constraints: 27477
2554.01/2561.28 c #Conflicts: 835000 | #Constraints: 28477
2554.01/2561.28 c #Conflicts: 836000 | #Constraints: 29477
2554.01/2561.28 c #Conflicts: 837000 | #Constraints: 30477
2554.01/2561.28 c #Conflicts: 838000 | #Constraints: 31477
2554.01/2561.28 c #Conflicts: 839000 | #Constraints: 32477
2554.01/2561.28 c #Conflicts: 840000 | #Constraints: 33477
2554.01/2561.28 c #Conflicts: 841000 | #Constraints: 34477
2554.01/2561.28 c #Conflicts: 842000 | #Constraints: 35477
2554.01/2561.28 c #Conflicts: 843000 | #Constraints: 36477
2554.01/2561.28 c #Conflicts: 844000 | #Constraints: 37477
2554.01/2561.28 c #Conflicts: 845000 | #Constraints: 38477
2554.01/2561.28 c #Conflicts: 846000 | #Constraints: 39477
2554.01/2561.28 c INPROCESSING
2554.01/2561.28 c GARBAGE COLLECT
2554.01/2561.28 c rational objective 1.09615e-12
2631.09/2638.51 c #Conflicts: 847000 | #Constraints: 22273
2631.09/2638.51 c #Conflicts: 848000 | #Constraints: 23273
2631.09/2638.51 c #Conflicts: 849000 | #Constraints: 24273
2631.09/2638.51 c #Conflicts: 850000 | #Constraints: 25273
2631.09/2638.51 c #Conflicts: 851000 | #Constraints: 26273
2631.09/2638.51 c #Conflicts: 852000 | #Constraints: 27273
2631.09/2638.51 c #Conflicts: 853000 | #Constraints: 28273
2631.09/2638.51 c #Conflicts: 854000 | #Constraints: 29273
2631.09/2638.51 c #Conflicts: 855000 | #Constraints: 30273
2631.09/2638.51 c #Conflicts: 856000 | #Constraints: 31273
2631.09/2638.51 c #Conflicts: 857000 | #Constraints: 32273
2631.09/2638.51 c #Conflicts: 858000 | #Constraints: 33273
2631.09/2638.51 c #Conflicts: 859000 | #Constraints: 34273
2631.09/2638.51 c #Conflicts: 860000 | #Constraints: 35273
2631.09/2638.51 c #Conflicts: 861000 | #Constraints: 36273
2631.09/2638.51 c #Conflicts: 862000 | #Constraints: 37273
2631.09/2638.51 c #Conflicts: 863000 | #Constraints: 38273
2631.09/2638.51 c #Conflicts: 864000 | #Constraints: 39273
2631.09/2638.51 c #Conflicts: 865000 | #Constraints: 40273
2631.09/2638.51 c INPROCESSING
2631.09/2638.51 c GARBAGE COLLECT
2631.09/2638.51 c rational objective 1.09615e-12
2715.56/2723.27 c #Conflicts: 866000 | #Constraints: 22875
2715.56/2723.27 c #Conflicts: 867000 | #Constraints: 23875
2715.56/2723.27 c #Conflicts: 868000 | #Constraints: 24875
2715.56/2723.27 c #Conflicts: 869000 | #Constraints: 25875
2715.56/2723.27 c #Conflicts: 870000 | #Constraints: 26875
2715.56/2723.27 c #Conflicts: 871000 | #Constraints: 27875
2715.56/2723.27 c #Conflicts: 872000 | #Constraints: 28875
2715.56/2723.27 c #Conflicts: 873000 | #Constraints: 29875
2715.56/2723.27 c #Conflicts: 874000 | #Constraints: 30875
2715.56/2723.27 c #Conflicts: 875000 | #Constraints: 31875
2715.56/2723.27 c #Conflicts: 876000 | #Constraints: 32875
2715.56/2723.27 c #Conflicts: 877000 | #Constraints: 33875
2715.56/2723.27 c #Conflicts: 878000 | #Constraints: 34875
2715.56/2723.27 c #Conflicts: 879000 | #Constraints: 35875
2715.56/2723.27 c #Conflicts: 880000 | #Constraints: 36875
2715.56/2723.27 c #Conflicts: 881000 | #Constraints: 37875
2715.56/2723.27 c #Conflicts: 882000 | #Constraints: 38875
2715.56/2723.27 c #Conflicts: 883000 | #Constraints: 39875
2715.56/2723.27 c #Conflicts: 884000 | #Constraints: 40875
2715.56/2723.27 c INPROCESSING
2715.56/2723.27 c GARBAGE COLLECT
2715.56/2723.27 c rational objective 1.09615e-12
2803.91/2811.82 c #Conflicts: 885000 | #Constraints: 23276
2803.91/2811.82 c #Conflicts: 886000 | #Constraints: 24276
2803.91/2811.82 c #Conflicts: 887000 | #Constraints: 25276
2803.91/2811.82 c #Conflicts: 888000 | #Constraints: 26276
2803.91/2811.82 c #Conflicts: 889000 | #Constraints: 27276
2803.91/2811.82 c #Conflicts: 890000 | #Constraints: 28276
2803.91/2811.82 c #Conflicts: 891000 | #Constraints: 29276
2803.91/2811.82 c #Conflicts: 892000 | #Constraints: 30276
2803.91/2811.82 c #Conflicts: 893000 | #Constraints: 31276
2803.91/2811.82 c #Conflicts: 894000 | #Constraints: 32276
2803.91/2811.82 c #Conflicts: 895000 | #Constraints: 33276
2803.91/2811.82 c #Conflicts: 896000 | #Constraints: 34276
2803.91/2811.82 c #Conflicts: 897000 | #Constraints: 35276
2803.91/2811.82 c #Conflicts: 898000 | #Constraints: 36276
2803.91/2811.82 c #Conflicts: 899000 | #Constraints: 37276
2803.91/2811.82 c #Conflicts: 900000 | #Constraints: 38276
2803.91/2811.82 c #Conflicts: 901000 | #Constraints: 39276
2803.91/2811.82 c #Conflicts: 902000 | #Constraints: 40276
2803.91/2811.82 c #Conflicts: 903000 | #Constraints: 41276
2803.91/2811.82 c INPROCESSING
2803.91/2811.82 c GARBAGE COLLECT
2803.91/2811.82 c rational objective 1.09615e-12
2890.37/2898.51 c #Conflicts: 904000 | #Constraints: 23470
2890.37/2898.51 c #Conflicts: 905000 | #Constraints: 24470
2890.37/2898.51 c #Conflicts: 906000 | #Constraints: 25470
2890.37/2898.51 c #Conflicts: 907000 | #Constraints: 26470
2890.37/2898.51 c #Conflicts: 908000 | #Constraints: 27470
2890.37/2898.51 c #Conflicts: 909000 | #Constraints: 28470
2890.37/2898.51 c #Conflicts: 910000 | #Constraints: 29470
2890.37/2898.51 c #Conflicts: 911000 | #Constraints: 30470
2890.37/2898.51 c #Conflicts: 912000 | #Constraints: 31470
2890.37/2898.51 c #Conflicts: 913000 | #Constraints: 32470
2890.37/2898.51 c #Conflicts: 914000 | #Constraints: 33470
2890.37/2898.51 c #Conflicts: 915000 | #Constraints: 34470
2890.37/2898.51 c #Conflicts: 916000 | #Constraints: 35470
2890.37/2898.51 c #Conflicts: 917000 | #Constraints: 36470
2890.37/2898.51 c #Conflicts: 918000 | #Constraints: 37470
2890.37/2898.51 c #Conflicts: 919000 | #Constraints: 38470
2890.37/2898.51 c #Conflicts: 920000 | #Constraints: 39470
2890.37/2898.51 c #Conflicts: 921000 | #Constraints: 40470
2890.37/2898.51 c #Conflicts: 922000 | #Constraints: 41470
2890.37/2898.51 c INPROCESSING
2890.37/2898.51 c GARBAGE COLLECT
2890.37/2898.51 c rational objective 1.09615e-12
2970.15/2978.54 c #Conflicts: 923000 | #Constraints: 23466
2970.15/2978.54 c #Conflicts: 924000 | #Constraints: 24466
2970.15/2978.54 c #Conflicts: 925000 | #Constraints: 25466
2970.15/2978.54 c #Conflicts: 926000 | #Constraints: 26466
2970.15/2978.54 c #Conflicts: 927000 | #Constraints: 27466
2970.15/2978.54 c #Conflicts: 928000 | #Constraints: 28466
2970.15/2978.54 c #Conflicts: 929000 | #Constraints: 29466
2970.15/2978.54 c #Conflicts: 930000 | #Constraints: 30466
2970.15/2978.54 c #Conflicts: 931000 | #Constraints: 31466
2970.15/2978.54 c #Conflicts: 932000 | #Constraints: 32466
2970.15/2978.54 c #Conflicts: 933000 | #Constraints: 33466
2970.15/2978.54 c #Conflicts: 934000 | #Constraints: 34466
2970.15/2978.54 c #Conflicts: 935000 | #Constraints: 35466
2970.15/2978.54 c #Conflicts: 936000 | #Constraints: 36466
2970.15/2978.54 c #Conflicts: 937000 | #Constraints: 37466
2970.15/2978.54 c #Conflicts: 938000 | #Constraints: 38466
2970.15/2978.54 c #Conflicts: 939000 | #Constraints: 39466
2970.15/2978.54 c #Conflicts: 940000 | #Constraints: 40466
2970.15/2978.54 c #Conflicts: 941000 | #Constraints: 41466
2970.15/2978.54 c INPROCESSING
2970.15/2978.54 c GARBAGE COLLECT
2970.15/2978.54 c rational objective 1.09615e-12
3078.16/3086.88 c #Conflicts: 942000 | #Constraints: 23267
3078.16/3086.88 c #Conflicts: 943000 | #Constraints: 24267
3078.16/3086.88 c #Conflicts: 944000 | #Constraints: 25267
3078.16/3086.88 c #Conflicts: 945000 | #Constraints: 26267
3078.16/3086.88 c #Conflicts: 946000 | #Constraints: 27268
3078.16/3086.88 c #Conflicts: 947000 | #Constraints: 28268
3078.16/3086.88 c #Conflicts: 948000 | #Constraints: 29268
3078.16/3086.88 c #Conflicts: 949000 | #Constraints: 30268
3078.16/3086.88 c #Conflicts: 950000 | #Constraints: 31268
3078.16/3086.88 c #Conflicts: 951000 | #Constraints: 32268
3078.16/3086.88 c #Conflicts: 952000 | #Constraints: 33268
3078.16/3086.88 c #Conflicts: 953000 | #Constraints: 34268
3078.16/3086.88 c #Conflicts: 954000 | #Constraints: 35268
3078.16/3086.88 c #Conflicts: 955000 | #Constraints: 36268
3078.16/3086.88 c #Conflicts: 956000 | #Constraints: 37268
3078.16/3086.88 c #Conflicts: 957000 | #Constraints: 38268
3078.16/3086.88 c #Conflicts: 958000 | #Constraints: 39268
3078.16/3086.88 c #Conflicts: 959000 | #Constraints: 40268
3078.16/3086.88 c #Conflicts: 960000 | #Constraints: 41268
3078.16/3086.88 c #Conflicts: 961000 | #Constraints: 42268
3078.16/3086.88 c INPROCESSING
3078.16/3086.88 c GARBAGE COLLECT
3078.16/3086.88 c rational objective 1.09615e-12
3192.17/3201.17 c #Conflicts: 962000 | #Constraints: 23868
3192.17/3201.17 c #Conflicts: 963000 | #Constraints: 24868
3192.17/3201.17 c #Conflicts: 964000 | #Constraints: 25868
3192.17/3201.17 c #Conflicts: 965000 | #Constraints: 26868
3192.17/3201.17 c #Conflicts: 966000 | #Constraints: 27868
3192.17/3201.17 c #Conflicts: 967000 | #Constraints: 28868
3192.17/3201.17 c #Conflicts: 968000 | #Constraints: 29868
3192.17/3201.17 c #Conflicts: 969000 | #Constraints: 30868
3192.17/3201.17 c #Conflicts: 970000 | #Constraints: 31868
3192.17/3201.17 c #Conflicts: 971000 | #Constraints: 32868
3192.17/3201.17 c #Conflicts: 972000 | #Constraints: 33868
3192.17/3201.17 c #Conflicts: 973000 | #Constraints: 34868
3192.17/3201.17 c #Conflicts: 974000 | #Constraints: 35868
3192.17/3201.17 c #Conflicts: 975000 | #Constraints: 36868
3192.17/3201.17 c #Conflicts: 976000 | #Constraints: 37868
3192.17/3201.17 c #Conflicts: 977000 | #Constraints: 38868
3192.17/3201.17 c #Conflicts: 978000 | #Constraints: 39868
3192.17/3201.17 c #Conflicts: 979000 | #Constraints: 40868
3192.17/3201.17 c #Conflicts: 980000 | #Constraints: 41868
3192.17/3201.17 c #Conflicts: 981000 | #Constraints: 42868
3192.17/3201.17 c INPROCESSING
3192.17/3201.17 c GARBAGE COLLECT
3192.17/3201.17 c rational objective 1.09615e-12
3321.93/3331.22 c #Conflicts: 982000 | #Constraints: 24284
3321.93/3331.22 c #Conflicts: 983000 | #Constraints: 25284
3321.93/3331.22 c #Conflicts: 984000 | #Constraints: 26284
3321.93/3331.22 c #Conflicts: 985000 | #Constraints: 27284
3321.93/3331.22 c #Conflicts: 986000 | #Constraints: 28284
3321.93/3331.22 c #Conflicts: 987000 | #Constraints: 29284
3321.93/3331.22 c #Conflicts: 988000 | #Constraints: 30284
3321.93/3331.22 c #Conflicts: 989000 | #Constraints: 31284
3321.93/3331.22 c #Conflicts: 990000 | #Constraints: 32284
3321.93/3331.22 c #Conflicts: 991000 | #Constraints: 33284
3321.93/3331.22 c #Conflicts: 992000 | #Constraints: 34284
3321.93/3331.22 c #Conflicts: 993000 | #Constraints: 35284
3321.93/3331.22 c #Conflicts: 994000 | #Constraints: 36284
3321.93/3331.22 c #Conflicts: 995000 | #Constraints: 37284
3321.93/3331.22 c #Conflicts: 996000 | #Constraints: 38284
3321.93/3331.22 c #Conflicts: 997000 | #Constraints: 39284
3321.93/3331.22 c #Conflicts: 998000 | #Constraints: 40284
3321.93/3331.22 c #Conflicts: 999000 | #Constraints: 41284
3321.93/3331.22 c #Conflicts: 1000000 | #Constraints: 42284
3321.93/3331.22 c #Conflicts: 1001000 | #Constraints: 43284
3321.93/3331.22 c INPROCESSING
3321.93/3331.22 c GARBAGE COLLECT
3321.93/3331.22 c rational objective 1.09615e-12
3450.09/3459.72 c #Conflicts: 1002000 | #Constraints: 24483
3450.09/3459.72 c #Conflicts: 1003000 | #Constraints: 25483
3450.09/3459.72 c #Conflicts: 1004000 | #Constraints: 26483
3450.09/3459.72 c #Conflicts: 1005000 | #Constraints: 27483
3450.09/3459.72 c #Conflicts: 1006000 | #Constraints: 28483
3450.09/3459.72 c #Conflicts: 1007000 | #Constraints: 29483
3450.09/3459.72 c #Conflicts: 1008000 | #Constraints: 30483
3450.09/3459.72 c #Conflicts: 1009000 | #Constraints: 31483
3450.09/3459.72 c #Conflicts: 1010000 | #Constraints: 32483
3450.09/3459.72 c #Conflicts: 1011000 | #Constraints: 33483
3450.09/3459.72 c #Conflicts: 1012000 | #Constraints: 34483
3450.09/3459.72 c #Conflicts: 1013000 | #Constraints: 35483
3450.09/3459.72 c #Conflicts: 1014000 | #Constraints: 36483
3450.09/3459.72 c #Conflicts: 1015000 | #Constraints: 37483
3450.09/3459.72 c #Conflicts: 1016000 | #Constraints: 38483
3450.09/3459.72 c #Conflicts: 1017000 | #Constraints: 39483
3450.09/3459.72 c #Conflicts: 1018000 | #Constraints: 40483
3450.09/3459.72 c #Conflicts: 1019000 | #Constraints: 41483
3450.09/3459.72 c #Conflicts: 1020000 | #Constraints: 42483
3450.09/3459.72 c #Conflicts: 1021000 | #Constraints: 43483
3450.09/3459.72 c INPROCESSING
3450.09/3459.72 c GARBAGE COLLECT
3450.09/3459.72 c rational objective 1.09615e-12
3509.94/3519.75 c #Conflicts: 1022000 | #Constraints: 24486
3509.94/3519.75 c #Conflicts: 1023000 | #Constraints: 25486
3509.94/3519.75 c #Conflicts: 1024000 | #Constraints: 26486
3509.94/3519.75 c #Conflicts: 1025000 | #Constraints: 27486
3509.94/3519.75 c #Conflicts: 1026000 | #Constraints: 28486
3509.94/3519.75 c #Conflicts: 1027000 | #Constraints: 29486
3509.94/3519.75 c #Conflicts: 1028000 | #Constraints: 30486
3509.94/3519.75 c #Conflicts: 1029000 | #Constraints: 31486
3509.94/3519.75 c #Conflicts: 1030000 | #Constraints: 32486
3509.94/3519.75 c #Conflicts: 1031000 | #Constraints: 33486
3509.94/3519.75 c #Conflicts: 1032000 | #Constraints: 34486
3509.94/3519.75 c #Conflicts: 1033000 | #Constraints: 35486
3509.94/3519.75 c #Conflicts: 1034000 | #Constraints: 36486
3509.94/3519.75 c #Conflicts: 1035000 | #Constraints: 37486
3509.94/3519.75 c #Conflicts: 1036000 | #Constraints: 38486
3509.94/3519.75 c #Conflicts: 1037000 | #Constraints: 39486
3509.94/3519.75 c #Conflicts: 1038000 | #Constraints: 40486
3509.94/3519.75 c #Conflicts: 1039000 | #Constraints: 41486
3509.94/3519.75 c #Conflicts: 1040000 | #Constraints: 42486
3509.94/3519.75 c #Conflicts: 1041000 | #Constraints: 43486
3509.94/3519.75 c INPROCESSING
3509.94/3519.75 c GARBAGE COLLECT
3509.94/3519.75 c rational objective 1.09615e-12
3600.02/3610.00 c #Conflicts: 1042000 | #Constraints: 24280
3600.02/3610.00 c #Conflicts: 1043000 | #Constraints: 25280
3600.02/3610.00 c #Conflicts: 1044000 | #Constraints: 26280
3600.02/3610.00 c #Conflicts: 1045000 | #Constraints: 27280
3600.02/3610.00 c #Conflicts: 1046000 | #Constraints: 28280
3600.02/3610.00 c #Conflicts: 1047000 | #Constraints: 29280
3600.02/3610.00 c #Conflicts: 1048000 | #Constraints: 30280
3600.02/3610.00 c #Conflicts: 1049000 | #Constraints: 31280
3600.02/3610.00 c #Conflicts: 1050000 | #Constraints: 32280
3600.02/3610.00 c #Conflicts: 1051000 | #Constraints: 33280
3600.02/3610.00 c #Conflicts: 1052000 | #Constraints: 34280
3600.02/3610.00 c #Conflicts: 1053000 | #Constraints: 35280
3600.02/3610.00 c #Conflicts: 1054000 | #Constraints: 36280
3600.02/3610.00 c #Conflicts: 1055000 | #Constraints: 37280
3600.02/3610.00 c #Conflicts: 1056000 | #Constraints: 38280
3600.02/3610.00 c #Conflicts: 1057000 | #Constraints: 39280
3600.02/3610.00 c #Conflicts: 1058000 | #Constraints: 40280
3600.02/3610.00 c #Conflicts: 1059000 | #Constraints: 41280
3600.02/3610.00 c #Conflicts: 1060000 | #Constraints: 42280
3600.02/3610.00 c #Conflicts: 1061000 | #Constraints: 43280
3600.02/3610.00 c cpu time 3592.46 s
3600.02/3610.00 c deterministic time 1497994358990 1.50e+12
3600.02/3610.00 c optimization time 89.7703 s
3600.02/3610.00 c total solve time 3502.68 s
3600.02/3610.00 c core-guided solve time 0 s
3600.02/3610.00 c propagation time 3225.73 s
3600.02/3610.00 c conflict analysis time 303.888 s
3600.02/3610.00 c propagations 64957700
3600.02/3610.00 c resolve steps 16928538
3600.02/3610.00 c decisions 2607556
3600.02/3610.00 c conflicts 1061251
3600.02/3610.00 c restarts 2046
3600.02/3610.00 c inprocessing phases 93
3600.02/3610.00 c garbage collections 93 ,( 100.00 )
3600.02/3610.00 c input clauses 1882 ,( 51.66 )
3600.02/3610.00 c input cardinalities 0 ,( 0.00 )
3600.02/3610.00 c input general constraints 1761 ,( 48.34 )
3600.02/3610.00 c input average constraint length 3.84
3600.02/3610.00 c input average constraint degree 59339220855591.52
3600.02/3610.00 c learned clauses 63099 ,( 5.95 )
3600.02/3610.00 c learned cardinalities 72 ,( 0.01 )
3600.02/3610.00 c learned general constraints 998095 ,( 94.05 )
3600.02/3610.00 c learned average constraint length 521.32
3600.02/3610.00 c learned average constraint degree 970901369.25
3600.02/3610.00 c watched CF 32, 64, 128, Arb: 15816 , 0 , 0 , 0
3600.02/3610.00 c counting CF 32, 64, 128, Arb: 984037 , 3 , 0 , 0
3600.02/3610.00 c watched constraints 15816 ,( 1.58 )
3600.02/3610.00 c counting constraints 984040 ,( 98.42 )
3600.02/3610.00 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 137846281 , 1715220 , 28049782258 ,( 15427960 , 28034354298 )
3600.02/3610.00 c gcd simplifications 41575
3600.02/3610.00 c detected cardinalities 55
3600.02/3610.00 c weakened non-implied lits 6176395
3600.02/3610.00 c weakened non-implying lits 779242
3600.02/3610.00 c original variables 3571
3600.02/3610.00 c clausal propagations 16700783
3600.02/3610.00 c cardinality propagations 45496
3600.02/3610.00 c watched propagations 149114
3600.02/3610.00 c counting propagations 47052389
3600.02/3610.00 c watch lookups 30622664479
3600.02/3610.00 c watch backjump lookups 0
3600.02/3610.00 c watch checks 399259255
3600.02/3610.00 c propagation checks 1464871347953
3600.02/3610.00 c constraint additions 1964767205
3600.02/3610.00 c trail pops 68623083
3600.02/3610.00 c formula constraints 3643
3600.02/3610.00 c learned constraints 1061240
3600.02/3610.00 c bound constraints 0
3600.02/3610.00 c core-guided constraints 0
3600.02/3610.00 c encountered formula constraints 14206920
3600.02/3610.00 c encountered learned constraints 3160968
3600.02/3610.00 c encountered bound constraints 0
3600.02/3610.00 c encountered core-guided constraints 0
3600.02/3610.00 c LP total time 16.927 s
3600.02/3610.00 c LP solve time 12.76 s
3600.02/3610.00 c LP constraints added 3643
3600.02/3610.00 c LP constraints removed 0
3600.02/3610.00 c LP pivots internal 106135
3600.02/3610.00 c LP pivots root 25623
3600.02/3610.00 c LP calls 10395
3600.02/3610.00 c LP optimalities 10376
3600.02/3610.00 c LP no pivot count 6011
3600.02/3610.00 c LP infeasibilities 15
3600.02/3610.00 c LP valid Farkas constraints 15
3600.02/3610.00 c LP learned Farkas constraints 11
3600.02/3610.00 c LP basis resets 2
3600.02/3610.00 c LP cycling count 2
3600.02/3610.00 c LP singular count 0
3600.02/3610.00 c LP no primal count 0
3600.02/3610.00 c LP no farkas count 0
3600.02/3610.00 c LP other issue count 0
3600.02/3610.00 c LP Gomory cuts 0
3600.02/3610.00 c LP learned cuts 0
3600.02/3610.00 c LP deleted cuts 0
3600.02/3610.00 c LP encountered Gomory constraints 0
3600.02/3610.00 c LP encountered Farkas constraints 620906
3600.02/3610.00 c LP encountered learned Farkas constraints 984
3600.02/3610.00 c CG auxiliary variables introduced 0
3600.02/3610.00 c CG solutions found 0
3600.02/3610.00 c CG cores constructed 0
3600.02/3610.00 c CG core cardinality constraints returned 0
3600.02/3610.00 c CG unit cores 0
3600.02/3610.00 c CG single cores 0
3600.02/3610.00 c CG blocks removed during cardinality reduction 0
3600.02/3610.00 c CG first core best 0
3600.02/3610.00 c CG decision core best 0
3600.02/3610.00 c CG core reduction tie 0
3600.02/3610.00 c CG core degree average 0.00
3600.02/3610.00 c CG core slack average 0.00
3600.02/3610.00 c CG core upper bound improvements 0
3600.02/3610.00 c STR number of successful calls 0
3600.02/3610.00 c STR number of unsuccessful calls 0
3600.02/3610.00 c STR number of inconclusive calls 0
3600.02/3610.00 c STR number of successful attempts 0
3600.02/3610.00 c STR number of unsuccessful attempts 0
3600.02/3610.00 c STR number of inconclusive attempts 0
3600.02/3610.00 c STR average degree increase per successful call inf
3600.02/3610.00 c STR average degree increase per successful attempt inf
3600.02/3610.00 c STR total number of conflicts for successful attempts 0
3600.02/3610.00 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3610.00 c STR total number of conflicts for inconclusive attempts 0
3600.02/3610.00 c STR average number of conflicts per successful attempt inf
3600.02/3610.00 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3610.00 c STR average number of conflicts per inconclusive attempt inf
3600.02/3610.00 c AVG.sumWPerc 97.98
3600.02/3610.00 c bigint constraints 3
3600.02/3610.00 s UNKNOWN
3600.02/3610.00 c Program interrupted by user.
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 (58068 MiB free)
memory of node 1: 64465 MiB (56725 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542034-1753211592/watcher-4542034-1753211592 -o /tmp/evaluation-result-4542034-1753211592/solver-4542034-1753211592 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1753211592-171554 --watchdog 3760 run-dec.sh HOME/instance-4542034-1753211592.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=171607, runsolver pid=171599
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 1.09 1.13 1.62 5/269 171615
/proc/meminfo: memFree=117500204/131249996 swapFree=33010160/33010684
[pid=171607] ppid=171599 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/171607/stat : 171607 (run-dec.sh) S 171599 171607 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236837815 4292608 768 18446744073709551615 94364989722624 94364990617157 140726789970560 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94364990856208 94364990903952 94365004042240 140726789978475 140726789978598 140726789978598 140726789984202 0
/proc/171607/statm: 1048 768 704 219 0 110 0
[pid=171614] ppid=171607 vsize=64276 memory=20344 CPUtime=0.07 cores=5,7
/proc/171614/stat : 171614 (roundingsat) R 171607 171607 171541 0 -1 4194304 3040 0 0 0 6 1 0 0 20 0 1 0 236837816 65818624 5086 18446744073709551615 4227072 8923433 140734102709152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39075840 140734102714805 140734102714918 140734102714918 140734102720490 0
/proc/171614/statm: 16069 5086 2336 1147 0 3496 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 68468 KiB
Current children cumulated memory: 23416 KiB
[startup+0.204798 s]*
/proc/loadavg: 1.09 1.13 1.62 6/269 171615
/proc/meminfo: memFree=117470752/131249996 swapFree=33010160/33010684
[pid=171607] ppid=171599 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/171607/stat : 171607 (run-dec.sh) S 171599 171607 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236837815 4292608 768 18446744073709551615 94364989722624 94364990617157 140726789970560 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94364990856208 94364990903952 94365004042240 140726789978475 140726789978598 140726789978598 140726789984202 0
/proc/171607/statm: 1048 768 704 219 0 110 0
[pid=171614] ppid=171607 vsize=68500 memory=24568 CPUtime=0.18 cores=5,7
/proc/171614/stat : 171614 (roundingsat) R 171607 171607 171541 0 -1 4194304 4094 0 0 0 17 1 0 0 20 0 1 0 236837816 70144000 6142 18446744073709551615 4227072 8923433 140734102709152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39075840 140734102714805 140734102714918 140734102714918 140734102720490 0
/proc/171614/statm: 17125 6142 2336 1147 0 4552 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 72692 KiB
Current children cumulated memory: 27640 KiB
[startup+0.30477 s]*
/proc/loadavg: 1.09 1.13 1.62 5/269 171615
/proc/meminfo: memFree=117470752/131249996 swapFree=33010160/33010684
[pid=171607] ppid=171599 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/171607/stat : 171607 (run-dec.sh) S 171599 171607 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236837815 4292608 768 18446744073709551615 94364989722624 94364990617157 140726789970560 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94364990856208 94364990903952 94365004042240 140726789978475 140726789978598 140726789978598 140726789984202 0
/proc/171607/statm: 1048 768 704 219 0 110 0
[pid=171614] ppid=171607 vsize=72064 memory=30092 CPUtime=0.27 cores=5,7
/proc/171614/stat : 171614 (roundingsat) R 171607 171607 171541 0 -1 4194304 4982 0 0 0 26 1 0 0 20 0 1 0 236837816 73793536 7523 18446744073709551615 4227072 8923433 140734102709152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39075840 140734102714805 140734102714918 140734102714918 140734102720490 0
/proc/171614/statm: 18016 7523 2336 1147 0 5443 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 76256 KiB
Current children cumulated memory: 33164 KiB
[startup+0.700138 s]
/proc/loadavg: 1.09 1.13 1.62 5/269 171615
/proc/meminfo: memFree=117465964/131249996 swapFree=33010160/33010684
[pid=171607] ppid=171599 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/171607/stat : 171607 (run-dec.sh) S 171599 171607 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236837815 4292608 768 18446744073709551615 94364989722624 94364990617157 140726789970560 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94364990856208 94364990903952 94365004042240 140726789978475 140726789978598 140726789978598 140726789984202 0
/proc/171607/statm: 1048 768 704 219 0 110 0
[pid=171614] ppid=171607 vsize=82488 memory=39436 CPUtime=0.66 cores=5,7
/proc/171614/stat : 171614 (roundingsat) R 171607 171607 171541 0 -1 4194304 7303 0 0 0 64 2 0 0 20 0 1 0 236837816 84467712 9859 18446744073709551615 4227072 8923433 140734102709152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39075840 140734102714805 140734102714918 140734102714918 140734102720490 0
/proc/171614/statm: 20622 9859 2336 1147 0 8049 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 86680 KiB
Current children cumulated memory: 42508 KiB
[startup+1.50016 s]
/proc/loadavg: 1.32 1.18 1.63 5/269 171615
/proc/meminfo: memFree=117447072/131249996 swapFree=33010160/33010684
[pid=171607] ppid=171599 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/171607/stat : 171607 (run-dec.sh) S 171599 171607 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236837815 4292608 768 18446744073709551615 94364989722624 94364990617157 140726789970560 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94364990856208 94364990903952 94365004042240 140726789978475 140726789978598 140726789978598 140726789984202 0
/proc/171607/statm: 1048 768 704 219 0 110 0
[pid=171614] ppid=171607 vsize=101496 memory=53340 CPUtime=1.46 cores=5,7
/proc/171614/stat : 171614 (roundingsat) R 171607 171607 171541 0 -1 4194304 10282 0 0 0 143 3 0 0 20 0 1 0 236837816 103931904 13335 18446744073709551615 4227072 8923433 140734102709152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39075840 140734102714805 140734102714918 140734102714918 140734102720490 0
/proc/171614/statm: 25374 13335 2336 1147 0 12801 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 105688 KiB
Current children cumulated memory: 56412 KiB
[startup+3.10486 s]
/proc/loadavg: 1.32 1.18 1.63 5/269 171615
/proc/meminfo: memFree=117403496/131249996 swapFree=33010160/33010684
[pid=171607] ppid=171599 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/171607/stat : 171607 (run-dec.sh) S 171599 171607 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236837815 4292608 768 18446744073709551615 94364989722624 94364990617157 140726789970560 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94364990856208 94364990903952 94365004042240 140726789978475 140726789978598 140726789978598 140726789984202 0
/proc/171607/statm: 1048 768 704 219 0 110 0
[pid=171614] ppid=171607 vsize=107172 memory=60508 CPUtime=3.07 cores=5,7
/proc/171614/stat : 171614 (roundingsat) R 171607 171607 171541 0 -1 4194304 12059 0 0 0 302 5 0 0 20 0 1 0 236837816 109744128 15127 18446744073709551615 4227072 8923433 140734102709152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39075840 140734102714805 140734102714918 140734102714918 140734102720490 0
/proc/171614/statm: 26793 15127 2336 1147 0 14220 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 111364 KiB
Current children cumulated memory: 63580 KiB
[startup+6.30014 s]
/proc/loadavg: 1.54 1.22 1.65 5/269 171615
/proc/meminfo: memFree=117387476/131249996 swapFree=33010160/33010684
[pid=171607] ppid=171599 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/171607/stat : 171607 (run-dec.sh) S 171599 171607 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236837815 4292608 768 18446744073709551615 94364989722624 94364990617157 140726789970560 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94364990856208 94364990903952 94365004042240 140726789978475 140726789978598 140726789978598 140726789984202 0
/proc/171607/statm: 1048 768 704 219 0 110 0
[pid=171614] ppid=171607 vsize=119736 memory=72356 CPUtime=6.25 cores=5,7
/proc/171614/stat : 171614 (roundingsat) R 171607 171607 171541 0 -1 4194304 14003 0 0 0 619 6 0 0 20 0 1 0 236837816 122609664 18089 18446744073709551615 4227072 8923433 140734102709152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39075840 140734102714805 140734102714918 140734102714918 140734102720490 0
/proc/171614/statm: 29934 18089 2336 1147 0 17361 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 123928 KiB
Current children cumulated memory: 75428 KiB
[startup+12.7001 s]
/proc/loadavg: 1.82 1.29 1.67 5/269 171661
/proc/meminfo: memFree=115792296/131249996 swapFree=33010160/33010684
[pid=171607] ppid=171599 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/171607/stat : 171607 (run-dec.sh) S 171599 171607 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236837815 4292608 768 18446744073709551615 94364989722624 94364990617157 140726789970560 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94364990856208 94364990903952 94365004042240 140726789978475 140726789978598 140726789978598 140726789984202 0
/proc/171607/statm: 1048 768 704 219 0 110 0
[pid=171614] ppid=171607 vsize=166124 memory=100304 CPUtime=12.62 cores=5,7
/proc/171614/stat : 171614 (roundingsat) R 171607 171607 171541 0 -1 4194304 20491 0 0 0 1252 10 0 0 20 0 1 0 236837816 170110976 25076 18446744073709551615 4227072 8923433 140734102709152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39075840 140734102714805 140734102714918 140734102714918 140734102720490 0
/proc/171614/statm: 41531 25076 2336 1147 0 28958 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 170316 KiB
Current children cumulated memory: 103376 KiB
[startup+25.5002 s]
/proc/loadavg: 2.15 1.38 1.69 5/269 171661
/proc/meminfo: memFree=114734676/131249996 swapFree=33010160/33010684
[pid=171607] ppid=171599 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/171607/stat : 171607 (run-dec.sh) S 171599 171607 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236837815 4292608 768 18446744073709551615 94364989722624 94364990617157 140726789970560 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94364990856208 94364990903952 94365004042240 140726789978475 140726789978598 140726789978598 140726789984202 0
/proc/171607/statm: 1048 768 704 219 0 110 0
[pid=171614] ppid=171607 vsize=170396 memory=108928 CPUtime=25.38 cores=5,7
/proc/171614/stat : 171614 (roundingsat) R 171607 171607 171541 0 -1 4194304 22054 0 0 0 2522 16 0 0 20 0 1 0 236837816 174485504 27232 18446744073709551615 4227072 8923433 140734102709152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39075840 140734102714805 140734102714918 140734102714918 140734102720490 0
/proc/171614/statm: 42599 27232 2432 1147 0 30026 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 174588 KiB
Current children cumulated memory: 112000 KiB
[startup+51.1048 s]
/proc/loadavg: 2.95 1.64 1.77 5/269 171662
/proc/meminfo: memFree=114645864/131249996 swapFree=33010160/33010684
[pid=171607] ppid=171599 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/171607/stat : 171607 (run-dec.sh) S 171599 171607 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236837815 4292608 768 18446744073709551615 94364989722624 94364990617157 140726789970560 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94364990856208 94364990903952 94365004042240 140726789978475 140726789978598 140726789978598 140726789984202 0
/proc/171607/statm: 1048 768 704 219 0 110 0
[pid=171614] ppid=171607 vsize=176736 memory=117764 CPUtime=50.91 cores=5,7
/proc/171614/stat : 171614 (roundingsat) R 171607 171607 171541 0 -1 4194304 23762 0 0 0 5056 35 0 0 20 0 1 0 236837816 180977664 29441 18446744073709551615 4227072 8923433 140734102709152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39075840 140734102714805 140734102714918 140734102714918 140734102720490 0
/proc/171614/statm: 44184 29441 2432 1147 0 31611 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 180928 KiB
Current children cumulated memory: 120836 KiB
[startup+102.3 s]
/proc/loadavg: 3.62 2.03 1.90 5/268 171665
/proc/meminfo: memFree=114431004/131249996 swapFree=33010160/33010684
[pid=171607] ppid=171599 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/171607/stat : 171607 (run-dec.sh) S 171599 171607 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236837815 4292608 768 18446744073709551615 94364989722624 94364990617157 140726789970560 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94364990856208 94364990903952 94365004042240 140726789978475 140726789978598 140726789978598 140726789984202 0
/proc/171607/statm: 1048 768 704 219 0 110 0
[pid=171614] ppid=171607 vsize=215312 memory=155612 CPUtime=101.94 cores=5,7
/proc/171614/stat : 171614 (roundingsat) R 171607 171607 171541 0 -1 4194304 32178 0 0 0 10140 54 0 0 20 0 1 0 236837816 220479488 38903 18446744073709551615 4227072 8923433 140734102709152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39075840 140734102714805 140734102714918 140734102714918 140734102720490 0
/proc/171614/statm: 53828 38903 2432 1147 0 41255 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 219504 KiB
Current children cumulated memory: 158684 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 2.40 2.04 5/268 171667
/proc/meminfo: memFree=114292916/131249996 swapFree=33010160/33010684
[pid=171607] ppid=171599 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/171607/stat : 171607 (run-dec.sh) S 171599 171607 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236837815 4292608 768 18446744073709551615 94364989722624 94364990617157 140726789970560 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94364990856208 94364990903952 94365004042240 140726789978475 140726789978598 140726789978598 140726789984202 0
/proc/171607/statm: 1048 768 704 219 0 110 0
[pid=171614] ppid=171607 vsize=241432 memory=178140 CPUtime=161.74 cores=5,7
/proc/171614/stat : 171614 (roundingsat) R 171607 171607 171541 0 -1 4194304 37748 0 0 0 16095 79 0 0 20 0 1 0 236837816 247226368 44535 18446744073709551615 4227072 8923433 140734102709152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39075840 140734102714805 140734102714918 140734102714918 140734102720490 0
/proc/171614/statm: 60358 44535 2432 1147 0 47785 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 245624 KiB
Current children cumulated memory: 181212 KiB
[startup+222.3 s]
/proc/loadavg: 4.01 2.71 2.17 5/268 171669
/proc/meminfo: memFree=114053544/131249996 swapFree=33010160/33010684
[pid=171607] ppid=171599 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/171607/stat : 171607 (run-dec.sh) S 171599 171607 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236837815 4292608 768 18446744073709551615 94364989722624 94364990617157 140726789970560 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94364990856208 94364990903952 94365004042240 140726789978475 140726789978598 140726789978598 140726789984202 0
/proc/171607/statm: 1048 768 704 219 0 110 0
[pid=171614] ppid=171607 vsize=266848 memory=193608 CPUtime=221.56 cores=5,7
/proc/171614/stat : 171614 (roundingsat) R 171607 171607 171541 0 -1 4194304 39748 0 0 0 22053 103 0 0 20 0 1 0 236837816 273252352 48402 18446744073709551615 4227072 8923433 140734102709152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39075840 140734102714805 140734102714918 140734102714918 140734102720490 0
/proc/171614/statm: 66712 48402 2432 1147 0 54139 0
################
# More data... #
################
/proc/171614/statm: 195215 149896 2432 1147 0 182642 0
Current children cumulated CPU time: 3033.78 s
Current children cumulated vsize: 785052 KiB
Current children cumulated memory: 602656 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.14 4.08 5/268 171871
/proc/meminfo: memFree=115043924/131249996 swapFree=33010160/33010684
[pid=171607] ppid=171599 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/171607/stat : 171607 (run-dec.sh) S 171599 171607 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236837815 4292608 768 18446744073709551615 94364989722624 94364990617157 140726789970560 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94364990856208 94364990903952 94365004042240 140726789978475 140726789978598 140726789978598 140726789984202 0
/proc/171607/statm: 1048 768 704 219 0 110 0
[pid=171614] ppid=171607 vsize=788540 memory=608584 CPUtime=3093.62 cores=5,7
/proc/171614/stat : 171614 (roundingsat) R 171607 171607 171541 0 -1 4194304 123141 0 0 0 308682 680 0 0 20 0 1 0 236837816 807464960 152146 18446744073709551615 4227072 8923433 140734102709152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39075840 140734102714805 140734102714918 140734102714918 140734102720490 0
/proc/171614/statm: 197135 152146 2432 1147 0 184562 0
Current children cumulated CPU time: 3093.62 s
Current children cumulated vsize: 792732 KiB
Current children cumulated memory: 611656 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.13 4.08 5/267 171873
/proc/meminfo: memFree=115009568/131249996 swapFree=33010160/33010684
[pid=171607] ppid=171599 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/171607/stat : 171607 (run-dec.sh) S 171599 171607 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236837815 4292608 768 18446744073709551615 94364989722624 94364990617157 140726789970560 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94364990856208 94364990903952 94365004042240 140726789978475 140726789978598 140726789978598 140726789984202 0
/proc/171607/statm: 1048 768 704 219 0 110 0
[pid=171614] ppid=171607 vsize=788540 memory=608712 CPUtime=3153.46 cores=5,7
/proc/171614/stat : 171614 (roundingsat) R 171607 171607 171541 0 -1 4194304 123186 0 0 0 314658 688 0 0 20 0 1 0 236837816 807464960 152178 18446744073709551615 4227072 8923433 140734102709152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39075840 140734102714805 140734102714918 140734102714918 140734102720490 0
/proc/171614/statm: 197135 152178 2432 1147 0 184562 0
Current children cumulated CPU time: 3153.46 s
Current children cumulated vsize: 792732 KiB
Current children cumulated memory: 611784 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.08 5/267 171875
/proc/meminfo: memFree=114960488/131249996 swapFree=33010160/33010684
[pid=171607] ppid=171599 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/171607/stat : 171607 (run-dec.sh) S 171599 171607 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236837815 4292608 768 18446744073709551615 94364989722624 94364990617157 140726789970560 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94364990856208 94364990903952 94365004042240 140726789978475 140726789978598 140726789978598 140726789984202 0
/proc/171607/statm: 1048 768 704 219 0 110 0
[pid=171614] ppid=171607 vsize=791612 memory=613192 CPUtime=3213.31 cores=5,7
/proc/171614/stat : 171614 (roundingsat) R 171607 171607 171541 0 -1 4194304 124308 0 0 0 320634 697 0 0 20 0 1 0 236837816 810610688 153298 18446744073709551615 4227072 8923433 140734102709152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39075840 140734102714805 140734102714918 140734102714918 140734102720490 0
/proc/171614/statm: 197903 153298 2432 1147 0 185330 0
Current children cumulated CPU time: 3213.31 s
Current children cumulated vsize: 795804 KiB
Current children cumulated memory: 616264 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/267 171877
/proc/meminfo: memFree=114902712/131249996 swapFree=33010160/33010684
[pid=171607] ppid=171599 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/171607/stat : 171607 (run-dec.sh) S 171599 171607 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236837815 4292608 768 18446744073709551615 94364989722624 94364990617157 140726789970560 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94364990856208 94364990903952 94365004042240 140726789978475 140726789978598 140726789978598 140726789984202 0
/proc/171607/statm: 1048 768 704 219 0 110 0
[pid=171614] ppid=171607 vsize=791612 memory=616008 CPUtime=3273.16 cores=5,7
/proc/171614/stat : 171614 (roundingsat) R 171607 171607 171541 0 -1 4194304 125036 0 0 0 326613 703 0 0 20 0 1 0 236837816 810610688 154002 18446744073709551615 4227072 8923433 140734102709152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39075840 140734102714805 140734102714918 140734102714918 140734102720490 0
/proc/171614/statm: 197903 154002 2432 1147 0 185330 0
Current children cumulated CPU time: 3273.16 s
Current children cumulated vsize: 795804 KiB
Current children cumulated memory: 619080 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/268 171886
/proc/meminfo: memFree=114806156/131249996 swapFree=33010160/33010684
[pid=171607] ppid=171599 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/171607/stat : 171607 (run-dec.sh) S 171599 171607 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236837815 4292608 768 18446744073709551615 94364989722624 94364990617157 140726789970560 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94364990856208 94364990903952 94365004042240 140726789978475 140726789978598 140726789978598 140726789984202 0
/proc/171607/statm: 1048 768 704 219 0 110 0
[pid=171614] ppid=171607 vsize=845376 memory=678328 CPUtime=3333 cores=5,7
/proc/171614/stat : 171614 (roundingsat) R 171607 171607 171541 0 -1 4194304 134464 0 0 0 332589 711 0 0 20 0 1 0 236837816 865665024 169582 18446744073709551615 4227072 8923433 140734102709152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39075840 140734102714805 140734102714918 140734102714918 140734102720490 0
/proc/171614/statm: 211344 169582 2432 1147 0 198771 0
Current children cumulated CPU time: 3333 s
Current children cumulated vsize: 849568 KiB
Current children cumulated memory: 681400 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/268 171889
/proc/meminfo: memFree=114741076/131249996 swapFree=33010160/33010684
[pid=171607] ppid=171599 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/171607/stat : 171607 (run-dec.sh) S 171599 171607 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236837815 4292608 768 18446744073709551615 94364989722624 94364990617157 140726789970560 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94364990856208 94364990903952 94365004042240 140726789978475 140726789978598 140726789978598 140726789984202 0
/proc/171607/statm: 1048 768 704 219 0 110 0
[pid=171614] ppid=171607 vsize=845376 memory=678456 CPUtime=3392.84 cores=5,7
/proc/171614/stat : 171614 (roundingsat) R 171607 171607 171541 0 -1 4194304 134477 0 0 0 338567 717 0 0 20 0 1 0 236837816 865665024 169614 18446744073709551615 4227072 8923433 140734102709152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39075840 140734102714805 140734102714918 140734102714918 140734102720490 0
/proc/171614/statm: 211344 169614 2432 1147 0 198771 0
Current children cumulated CPU time: 3392.84 s
Current children cumulated vsize: 849568 KiB
Current children cumulated memory: 681528 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/269 171892
/proc/meminfo: memFree=114653796/131249996 swapFree=33010160/33010684
[pid=171607] ppid=171599 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/171607/stat : 171607 (run-dec.sh) S 171599 171607 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236837815 4292608 768 18446744073709551615 94364989722624 94364990617157 140726789970560 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94364990856208 94364990903952 94365004042240 140726789978475 140726789978598 140726789978598 140726789984202 0
/proc/171607/statm: 1048 768 704 219 0 110 0
[pid=171614] ppid=171607 vsize=846400 memory=682808 CPUtime=3452.69 cores=5,7
/proc/171614/stat : 171614 (roundingsat) R 171607 171607 171541 0 -1 4194304 134821 0 0 0 344547 722 0 0 20 0 1 0 236837816 866713600 170702 18446744073709551615 4227072 8923433 140734102709152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39075840 140734102714805 140734102714918 140734102714918 140734102720490 0
/proc/171614/statm: 211600 170702 2432 1147 0 199027 0
Current children cumulated CPU time: 3452.69 s
Current children cumulated vsize: 850592 KiB
Current children cumulated memory: 685880 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/269 171894
/proc/meminfo: memFree=114667312/131249996 swapFree=33010160/33010684
[pid=171607] ppid=171599 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/171607/stat : 171607 (run-dec.sh) S 171599 171607 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236837815 4292608 768 18446744073709551615 94364989722624 94364990617157 140726789970560 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94364990856208 94364990903952 94365004042240 140726789978475 140726789978598 140726789978598 140726789984202 0
/proc/171607/statm: 1048 768 704 219 0 110 0
[pid=171614] ppid=171607 vsize=846912 memory=687032 CPUtime=3512.53 cores=5,7
/proc/171614/stat : 171614 (roundingsat) R 171607 171607 171541 0 -1 4194304 134912 0 0 0 350516 737 0 0 20 0 1 0 236837816 867237888 171758 18446744073709551615 4227072 8923433 140734102709152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39075840 140734102714805 140734102714918 140734102714918 140734102720490 0
/proc/171614/statm: 211728 171758 2432 1147 0 199155 0
Current children cumulated CPU time: 3512.53 s
Current children cumulated vsize: 851104 KiB
Current children cumulated memory: 690104 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/269 171988
/proc/meminfo: memFree=115081660/131249996 swapFree=33010160/33010684
[pid=171607] ppid=171599 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/171607/stat : 171607 (run-dec.sh) S 171599 171607 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236837815 4292608 768 18446744073709551615 94364989722624 94364990617157 140726789970560 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94364990856208 94364990903952 94365004042240 140726789978475 140726789978598 140726789978598 140726789984202 0
/proc/171607/statm: 1048 768 704 219 0 110 0
[pid=171614] ppid=171607 vsize=846912 memory=707256 CPUtime=3572.38 cores=5,7
/proc/171614/stat : 171614 (roundingsat) R 171607 171607 171541 0 -1 4194304 134918 0 0 0 356486 752 0 0 20 0 1 0 236837816 867237888 176814 18446744073709551615 4227072 8923433 140734102709152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39075840 140734102714805 140734102714918 140734102714918 140734102720490 0
/proc/171614/statm: 211728 176814 2432 1147 0 199155 0
Current children cumulated CPU time: 3572.38 s
Current children cumulated vsize: 851104 KiB
Current children cumulated memory: 710328 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.09 4.11 4.09 4/263 171997
/proc/meminfo: memFree=115408108/131249996 swapFree=33010160/33010684
[pid=171607] ppid=171599 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/171607/stat : 171607 (run-dec.sh) S 171599 171607 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236837815 4292608 768 18446744073709551615 94364989722624 94364990617157 140726789970560 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94364990856208 94364990903952 94365004042240 140726789978475 140726789978598 140726789978598 140726789984202 0
/proc/171607/statm: 1048 768 704 219 0 110 0
[pid=171614] ppid=171607 vsize=846912 memory=726328 CPUtime=3600.02 cores=5,7
/proc/171614/stat : 171614 (roundingsat) R 171607 171607 171541 0 -1 4194304 134919 0 0 0 359246 756 0 0 20 0 1 0 236837816 867237888 181582 18446744073709551615 4227072 8923433 140734102709152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39075840 140734102714805 140734102714918 140734102714918 140734102720490 0
/proc/171614/statm: 211728 181582 2432 1147 0 199155 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 851104 KiB
Current children cumulated memory: 729400 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.01 s]
# the end of solver process 171607 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002305 s, system=0 s
[startup+3610.02 s]
# the end of solver process 171614 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3592.47 s, system=7.57203 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3610.02
CPU time (s): 3600.04
CPU user time (s): 3592.47
CPU system time (s): 7.57203
CPU usage (%): 99.7236
Max. virtual memory (cumulated for all children) (KiB): 851104
Max. memory (cumulated for all children) (KiB): 729400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.47
system time used= 7.57203
maximum resident set size= 726584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135142
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= 228
involuntary context switches= 20613
# summary of solver processes directly reported to runsolver:
# pid: 171607,171614
# total CPU time (s): 3600.04
# total CPU user time (s): 3592.47
# total CPU system time (s): 7.57203
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.84866 second user time and 15.9314 second system time
The end
Begin job on nodeC032 at 2025-07-22 21:13:12
IDJOB=4542034
IDBENCH=163735
IDSOLVER=3349
FILE ID=nodeC032/4542034-1753211592
RUNJOBID= nodeC032-1753211592-171554
SLURM_JOB_ID= 9687796
Free space on /tmp= 432584 MiB
SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/wallace_spec/normalized-28wallace_spec_greater_tvars.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542034-1753211592/watcher-4542034-1753211592 -o /tmp/evaluation-result-4542034-1753211592/solver-4542034-1753211592 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1753211592-171554 --watchdog 3760 run-dec.sh HOME/instance-4542034-1753211592.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 20f5dc2e187fea802b1fd8b2eb35ac07
RANDOM SEED=1347807800
nodeC032 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 : 3421.342
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.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.015
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.69
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.819
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.69
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 : 3599.359
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.69
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.934
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.69
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.821
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.69
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 : 3600.177
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.69
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 : 3598.493
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.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 117536976 kB
MemAvailable: 129574916 kB
Buffers: 2728 kB
Cached: 12717572 kB
SwapCached: 20 kB
Active: 1199808 kB
Inactive: 11586916 kB
Active(anon): 89540 kB
Inactive(anon): 3124 kB
Active(file): 1110268 kB
Inactive(file): 11583792 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 30456 kB
Writeback: 0 kB
AnonPages: 69476 kB
Mapped: 108388 kB
Shmem: 26240 kB
KReclaimable: 366236 kB
Slab: 465232 kB
SReclaimable: 366236 kB
SUnreclaim: 98996 kB
KernelStack: 4096 kB
PageTables: 2796 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 350212 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150408 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 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: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432536 MiB
End job on nodeC032 at 2025-07-22 22:13:22