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