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