(1,3) (2,17) (5,19) (6,12) (7,30) (8,22) (9,29) (10,25) (11,15) (13,18) (14,26) (21,28) (24,27) 
nodes: 1972  conflicts: 59  modelTime: 1713  solveTime: 9353  totalTime: 11086  modelSize: 72262  readTime: 20 size: 13