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