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