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