(1,24) (2,18) (3,8) (4,16) (5,15) (6,19) (7,27) (9,25) (10,30) (11,13) (12,26) (14,21) (17,20) (22,23) (28,29) 
nodes: 214473  conflicts: 41  modelTime: 1706  solveTime: 890595  totalTime: 892319  modelSize: 72269  readTime: 18 size: 15