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