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