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