(1,19) (2,29) (4,17) (5,23) (6,28) (7,16) (8,24) (9,25) (10,22) (11,20) (12,30) (14,21) (15,26) 
nodes: 2443  conflicts: 33  modelTime: 656  solveTime: 3799  totalTime: 4461  modelSize: 41293  readTime: 6 size: 13