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