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