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