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