(2,21) (3,27) (4,20) (5,14) (6,26) (7,23) (8,19) (9,11) (10,29) (12,28) (15,16) (17,30) (18,24) 
nodes: 3230  conflicts: 82  modelTime: 938  solveTime: 10240  totalTime: 11189  modelSize: 72262  readTime: 11 size: 13