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