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