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