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