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