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