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