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