(1,12) (2,6) (3,10) (4,16) (5,29) (7,14) (8,15) (17,30) (18,21) (19,26) (20,22) (24,28) (25,27) 
nodes: 2357  conflicts: 53  modelTime: 975  solveTime: 13984  totalTime: 14971  modelSize: 72263  readTime: 12 size: 13