(1,12) (2,15) (3,23) (4,17) (5,27) (6,8) (7,30) (10,29) (11,20) (13,19) (14,16) (22,26) (25,28) 
nodes: 3033  conflicts: 75  modelTime: 950  solveTime: 11882  totalTime: 12844  modelSize: 72262  readTime: 12 size: 13