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