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