(2,5) (3,24) (4,27) (6,17) (7,22) (8,9) (11,16) (12,13) (14,19) (15,26) (18,23) (20,25) (21,28) (29,30) 
nodes: 45019  conflicts: 56  modelTime: 935  solveTime: 134455  totalTime: 135401  modelSize: 72263  readTime: 11 size: 14