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