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