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