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