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