(1,22) (2,17) (3,21) (4,27) (6,30) (7,28) (8,19) (10,25) (11,29) (12,26) (13,24) (14,18) (15,20) 
nodes: 1447  conflicts: 54  modelTime: 657  solveTime: 1210  totalTime: 1874  modelSize: 41293  readTime: 7 size: 13