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