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