(1,8) (2,4) (3,13) (5,18) (6,30) (7,17) (9,20) (10,19) (11,15) (12,23) (14,27) (16,26) (21,29) (22,25) (24,28) 
nodes: 2015  conflicts: 3  modelTime: 1701  solveTime: 11727  totalTime: 13442  modelSize: 72264  readTime: 14 size: 15