(1,29) (2,25) (3,22) (5,21) (6,30) (7,27) (10,26) (11,23) (14,16) (15,24) 
nodes: 1019  conflicts: 83  modelTime: 666  solveTime: 1331  totalTime: 2005  modelSize: 41298  readTime: 8 size: 10