(1,23) (3,18) (4,29) (5,16) (6,25) (7,22) (9,20) (10,30) (11,21) (12,24) (13,28) (14,17) (15,26) 
nodes: 2356  conflicts: 58  modelTime: 671  solveTime: 3509  totalTime: 4188  modelSize: 41293  readTime: 7 size: 13