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