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