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