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