(1,24) (2,16) (3,30) (4,28) (5,23) (8,29) (9,21) (10,26) (12,17) (13,25) (14,20) (15,19) 
nodes: 2337  conflicts: 51  modelTime: 668  solveTime: 3312  totalTime: 3986  modelSize: 41298  readTime: 6 size: 12