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