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