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