(1,27) (2,19) (4,24) (6,16) (7,28) (8,21) (9,26) (10,29) (11,17) (12,23) (13,18) (14,20) (15,25) 
nodes: 5988  conflicts: 32  modelTime: 658  solveTime: 11049  totalTime: 11714  modelSize: 41298  readTime: 7 size: 13