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