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