(1,15) (2,3) (4,5) (6,7) (8,9) (10,26) (11,25) (12,18) (13,19) (14,29) (16,23) (17,27) (20,22) (21,30) 
nodes: 27152  conflicts: 81  modelTime: 1732  solveTime: 95807  totalTime: 97560  modelSize: 72263  readTime: 21 size: 14