(1,24) (2,27) (3,23) (4,30) (5,16) (6,29) (7,21) (8,19) (9,17) (10,18) (11,28) (12,20) (13,25) (14,22) (15,26) 
nodes: 2347  conflicts: 3  modelTime: 1002  solveTime: 5270  totalTime: 6280  modelSize: 41292  readTime: 7 size: 15