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