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