(1,29) (2,16) (3,5) (4,27) (7,17) (9,25) (10,18) (11,15) (12,13) (20,30) (22,28) 
nodes: 2182  conflicts: 89  modelTime: 950  solveTime: 10101  totalTime: 11062  modelSize: 72266  readTime: 11 size: 11