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