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