(1,3) (2,29) (4,7) (8,26) (9,19) (10,20) (11,30) (12,22) (13,15) (18,21) (23,25) (27,28) 
nodes: 1075  conflicts: 117  modelTime: 984  solveTime: 6561  totalTime: 7557  modelSize: 72262  readTime: 12 size: 12