(1,25) (2,28) (3,11) (4,20) (5,12) (6,17) (8,16) (9,18) (10,26) (13,29) (15,27) (19,23) (21,30) 
nodes: 2435  conflicts: 58  modelTime: 966  solveTime: 10134  totalTime: 11111  modelSize: 72262  readTime: 11 size: 13