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