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