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