(1,30) (4,28) (5,16) (6,18) (7,20) (8,27) (10,19) (11,25) (13,23) (14,21) (15,22) 
nodes: 3530  conflicts: 65  modelTime: 668  solveTime: 5899  totalTime: 6574  modelSize: 41293  readTime: 7 size: 11