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