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