(1,29) (2,26) (3,19) (4,30) (5,22) (6,18) (7,28) (8,27) (9,17) (10,25) (11,20) (12,21) (13,16) (14,24) (15,23) 
nodes: 20032  conflicts: 40  modelTime: 1583  solveTime: 69595  totalTime: 71197  modelSize: 72262  readTime: 19 size: 15