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