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