(1,17) (2,21) (3,20) (4,19) (5,29) (6,26) (7,23) (8,24) (10,18) (11,25) (12,22) (13,16) (14,28) (15,30) 
nodes: 3144  conflicts: 32  modelTime: 660  solveTime: 5004  totalTime: 5671  modelSize: 41298  readTime: 6 size: 14