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