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