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