(1,13) (2,30) (3,12) (4,8) (6,25) (7,28) (9,18) (10,19) (11,23) (14,29) (16,26) (17,27) (20,21) (22,24) 
nodes: 2812  conflicts: 67  modelTime: 1719  solveTime: 12542  totalTime: 14281  modelSize: 72267  readTime: 20 size: 14