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