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