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