(1,22) (2,11) (3,18) (4,20) (5,27) (6,10) (7,15) (8,12) (9,21) (13,16) (14,29) (19,25) (23,30) (24,26) 
nodes: 5964  conflicts: 72  modelTime: 1718  solveTime: 24924  totalTime: 26665  modelSize: 72263  readTime: 23 size: 14