(1,18) (2,26) (3,30) (5,25) (6,19) (7,23) (8,29) (9,20) (10,21) (11,22) (12,28) (13,16) (14,27) (15,17) 
nodes: 3410  conflicts: 47  modelTime: 660  solveTime: 4510  totalTime: 5176  modelSize: 41293  readTime: 6 size: 14