(1,25) (2,29) (3,18) (5,19) (6,23) (7,27) (8,22) (9,16) (10,26) (11,17) (12,28) (13,30) (14,24) (15,20) 
nodes: 4117  conflicts: 32  modelTime: 657  solveTime: 6585  totalTime: 7248  modelSize: 41293  readTime: 6 size: 14