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