(1,20) (2,23) (3,16) (4,27) (5,25) (6,18) (7,30) (8,22) (9,19) (10,17) (11,26) (13,24) (14,29) (15,21) 
nodes: 1633  conflicts: 14  modelTime: 1144  solveTime: 4458  totalTime: 5611  modelSize: 41292  readTime: 9 size: 14