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