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