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