(1,20) (2,23) (3,18) (4,24) (5,26) (6,25) (7,29) (8,30) (10,27) (11,17) (13,16) (14,22) 
nodes: 1054  conflicts: 48  modelTime: 658  solveTime: 831  totalTime: 1495  modelSize: 41293  readTime: 6 size: 12