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