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