(1,2) (3,22) (4,7) (5,26) (6,8) (9,13) (10,24) (11,23) (12,27) (14,25) (15,19) (16,20) (17,18) (21,30) (28,29) 
nodes: 107107  conflicts: 38  modelTime: 1695  solveTime: 371996  totalTime: 373791  modelSize: 72269  readTime: 100 size: 15