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