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