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