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