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