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