(2,22) (3,28) (4,25) (5,19) (6,29) (9,24) (10,30) (11,23) (12,26) (13,16) (14,20) (15,18) 
nodes: 1956  conflicts: 60  modelTime: 669  solveTime: 1852  totalTime: 2528  modelSize: 41293  readTime: 7 size: 12