(3,19) (7,16) (9,28) (10,27) (12,30) (13,26) (14,29) (15,22) 
nodes: 732  conflicts: 148  modelTime: 662  solveTime: 1409  totalTime: 2078  modelSize: 41301  readTime: 7 size: 8