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