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