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