(1,23) (2,29) (3,19) (4,28) (5,20) (6,30) (8,26) (9,16) (11,18) (12,25) (14,21) (15,17) 
nodes: 1912  conflicts: 45  modelTime: 657  solveTime: 1944  totalTime: 2608  modelSize: 41293  readTime: 7 size: 12