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