(1,30) (2,22) (4,17) (5,29) (7,28) (8,25) (9,23) (10,24) (11,18) (12,21) (13,26) (15,16) 
nodes: 1061  conflicts: 61  modelTime: 658  solveTime: 1466  totalTime: 2131  modelSize: 41293  readTime: 7 size: 12