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