(1,18) (2,24) (5,21) (6,23) (7,20) (8,26) (10,27) (12,29) (14,19) (15,30) 
nodes: 989  conflicts: 68  modelTime: 675  solveTime: 720  totalTime: 1403  modelSize: 41301  readTime: 7 size: 10