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