(1,14) (2,8) (3,7) (4,5) (6,19) (9,17) (10,11) (12,26) (13,23) (15,28) (16,30) (18,27) (20,29) (21,25) (22,24) 
nodes: 55403  conflicts: 41  modelTime: 960  solveTime: 253536  totalTime: 254529  modelSize: 72262  readTime: 33 size: 15