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