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