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