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