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