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