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