(1,21) (2,18) (4,26) (5,22) (6,19) (7,27) (8,23) (9,30) (10,28) (11,25) (13,29) (14,24) 
nodes: 2366  conflicts: 58  modelTime: 659  solveTime: 4190  totalTime: 4855  modelSize: 41293  readTime: 6 size: 12