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