(1,20) (3,28) (4,26) (6,22) (7,19) (8,16) (9,30) (10,17) (11,23) (12,18) (13,24) (14,25) (15,21) 
nodes: 8090  conflicts: 40  modelTime: 657  solveTime: 10635  totalTime: 11299  modelSize: 41293  readTime: 7 size: 13