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