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