(1,26) (2,14) (3,27) (4,9) (5,19) (6,18) (7,21) (8,15) (10,25) (11,13) (12,20) (16,28) (17,23) (22,24) (29,30) 
nodes: 420973  conflicts: 33  modelTime: 1699  solveTime: 1918785  totalTime: 1920571  modelSize: 72266  readTime: 87 size: 15