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