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