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