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