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