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