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