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