(1,26) (2,29) (3,19) (5,30) (6,17) (7,23) (8,27) (9,28) (10,20) (11,16) (12,25) (14,24) (15,21) 
nodes: 1133  conflicts: 38  modelTime: 663  solveTime: 1825  totalTime: 2494  modelSize: 41293  readTime: 6 size: 13