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