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