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