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