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