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