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