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