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