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