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