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