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