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