(1,18) (2,24) (3,29) (7,27) (8,22) (9,26) (10,21) (11,23) (13,19) (14,25) (15,30) 
nodes: 652  conflicts: 61  modelTime: 657  solveTime: 858  totalTime: 1522  modelSize: 41293  readTime: 7 size: 11