(1,24) (3,27) (5,18) (6,30) (8,19) (9,26) (10,29) (11,25) (12,16) (13,23) (14,21) (15,22) 
nodes: 1866  conflicts: 50  modelTime: 657  solveTime: 1935  totalTime: 2598  modelSize: 41293  readTime: 6 size: 12