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