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