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