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