(1,24) (2,26) (3,23) (4,16) (6,27) (7,22) (8,18) (9,20) (10,19) (12,21) (13,30) (14,29) 
nodes: 1990  conflicts: 36  modelTime: 657  solveTime: 3027  totalTime: 3701  modelSize: 41293  readTime: 17 size: 12