(1,21) (2,9) (3,30) (4,26) (5,22) (6,17) (7,24) (8,19) (10,11) (12,20) (15,27) (18,23) (25,29) 
nodes: 33363  conflicts: 91  modelTime: 931  solveTime: 95482  totalTime: 96424  modelSize: 72264  readTime: 11 size: 13