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