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