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