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