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