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