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