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