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