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