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