(1,28) (2,20) (3,18) (4,23) (5,25) (7,27) (8,17) (9,16) (10,22) (11,24) (12,29) (14,26) (15,30) 
nodes: 2451  conflicts: 29  modelTime: 656  solveTime: 3152  totalTime: 3814  modelSize: 41292  readTime: 6 size: 13