(1,12) (2,27) (4,22) (5,18) (7,25) (8,17) (9,16) (10,29) (11,19) (13,15) (14,28) (20,30) (23,24) 
nodes: 2011  conflicts: 107  modelTime: 954  solveTime: 6769  totalTime: 7735  modelSize: 72266  readTime: 12 size: 13