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