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