(1,25) (2,11) (3,16) (4,23) (5,22) (6,15) (7,24) (8,18) (9,13) (10,21) (12,14) (17,26) (19,20) (27,29) (28,30) 
nodes: 306265  conflicts: 15  modelTime: 1109  solveTime: 1680593  totalTime: 1681737  modelSize: 72265  readTime: 35 size: 15