(1,29) (2,28) (3,8) (4,6) (5,12) (7,19) (9,13) (10,11) (14,18) (15,22) (16,25) (17,23) (20,24) (21,27) (26,30) 
nodes: 311252  conflicts: 28  modelTime: 1676  solveTime: 1469207  totalTime: 1470902  modelSize: 72285  readTime: 19 size: 15