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