(1,29) (2,25) (3,21) (4,16) (6,23) (8,20) (10,17) (11,26) (14,30) (15,24) 
nodes: 1233  conflicts: 97  modelTime: 664  solveTime: 950  totalTime: 1621  modelSize: 41301  readTime: 7 size: 10