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