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