(1,26) (2,18) (4,21) (5,25) (6,29) (8,24) (9,23) (10,30) (12,20) (13,27) (14,16) (15,19) 
nodes: 489  conflicts: 45  modelTime: 659  solveTime: 872  totalTime: 1538  modelSize: 41293  readTime: 7 size: 12