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