(1,18) (2,28) (3,15) (4,6) (5,21) (7,25) (8,23) (9,13) (10,20) (11,27) (12,14) (16,24) (17,30) (19,22) (26,29) 
nodes: 813052  conflicts: 32  modelTime: 1724  solveTime: 4022365  totalTime: 4024107  modelSize: 72266  readTime: 18 size: 15