(1,21) (2,17) (3,23) (4,27) (5,22) (6,25) (7,24) (9,30) (10,19) (11,16) (12,18) (13,29) (14,26) (15,28) 
nodes: 2388  conflicts: 35  modelTime: 686  solveTime: 3245  totalTime: 3938  modelSize: 41293  readTime: 7 size: 14