(1,24) (2,16) (3,20) (4,30) (5,28) (6,27) (7,26) (9,29) (10,18) (11,25) (12,22) (14,23) (15,19) 
nodes: 1781  conflicts: 30  modelTime: 661  solveTime: 1475  totalTime: 2142  modelSize: 41293  readTime: 6 size: 13