(1,23) (2,26) (3,24) (4,25) (5,16) (6,28) (8,19) (9,22) (10,30) (11,18) (12,27) (13,20) (14,17) (15,29) 
nodes: 2294  conflicts: 12  modelTime: 1191  solveTime: 5880  totalTime: 7080  modelSize: 41293  readTime: 9 size: 14