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