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