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