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