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