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