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