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