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