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