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