(1,18) (3,26) (4,20) (6,24) (7,16) (8,30) (9,28) (10,19) (11,21) (12,23) (14,27) (15,29) 
nodes: 3490  conflicts: 45  modelTime: 658  solveTime: 4693  totalTime: 5359  modelSize: 41293  readTime: 7 size: 12