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