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