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