(2,26) (3,21) (4,17) (5,24) (6,16) (7,28) (8,22) (9,18) (10,29) (11,30) (12,19) (13,23) (14,27) 
nodes: 1802  conflicts: 46  modelTime: 658  solveTime: 2038  totalTime: 2702  modelSize: 41293  readTime: 6 size: 13