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