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