(1,23) (2,21) (3,27) (5,14) (6,10) (7,29) (8,22) (9,24) (11,16) (12,18) (15,17) (19,28) (20,30) (25,26) 
nodes: 2835  conflicts: 94  modelTime: 934  solveTime: 12055  totalTime: 13001  modelSize: 72266  readTime: 12 size: 14