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