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