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