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