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