(1,9) (2,21) (3,4) (5,19) (6,10) (7,12) (8,15) (11,22) (13,23) (14,28) (16,26) (17,18) (20,25) (24,27) (29,30) 
nodes: 309716  conflicts: 45  modelTime: 1430  solveTime: 2156963  totalTime: 2158408  modelSize: 72263  readTime: 15 size: 15