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