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