(1,14) (2,16) (3,25) (4,12) (5,17) (6,13) (7,26) (8,30) (9,20) (10,27) (11,22) (15,18) (21,28) (24,29) 
nodes: 82324  conflicts: 59  modelTime: 945  solveTime: 323019  totalTime: 323976  modelSize: 72264  readTime: 12 size: 14