(1,27) (2,9) (3,29) (4,5) (6,23) (7,11) (8,30) (10,13) (12,21) (14,25) (15,16) (17,28) (18,19) (20,24) (22,26) 
nodes: 243354  conflicts: 32  modelTime: 945  solveTime: 885408  totalTime: 886363  modelSize: 72275  readTime: 10 size: 15