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