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