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