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