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