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