(1,13) (2,6) (4,30) (5,14) (7,10) (8,25) (9,18) (11,12) (15,28) (16,29) (17,21) (19,26) (20,23) (24,27) 
nodes: 200988  conflicts: 37  modelTime: 1280  solveTime: 798008  totalTime: 799306  modelSize: 72263  readTime: 18 size: 14