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