(1,24) (2,16) (3,25) (4,18) (5,21) (6,26) (7,23) (8,22) (9,27) (10,29) (11,28) (12,30) (13,20) (14,17) (15,19) 
nodes: 4004  conflicts: 34  modelTime: 658  solveTime: 6584  totalTime: 7248  modelSize: 41298  readTime: 6 size: 15