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