(1,19) (2,26) (3,24) (4,16) (5,23) (6,30) (8,29) (9,27) (11,20) (12,28) (13,17) (14,21) (15,22) 
nodes: 1456  conflicts: 42  modelTime: 663  solveTime: 1998  totalTime: 2668  modelSize: 41293  readTime: 7 size: 13