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