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