(1,8) (3,16) (4,26) (5,17) (6,24) (7,27) (9,19) (10,23) (11,15) (12,21) (13,18) (14,30) (22,28) 
nodes: 61814  conflicts: 48  modelTime: 1716  solveTime: 300323  totalTime: 302057  modelSize: 72265  readTime: 17 size: 13