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