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