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