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