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