(1,24) (2,26) (3,21) (4,18) (5,19) (6,29) (7,30) (8,25) (9,27) (10,20) (11,28) (12,16) (13,17) (15,23) 
nodes: 3630  conflicts: 32  modelTime: 657  solveTime: 5364  totalTime: 6028  modelSize: 41298  readTime: 6 size: 14