(1,10) (2,23) (3,26) (4,9) (5,27) (6,29) (7,16) (8,20) (11,25) (12,18) (13,19) (14,22) (17,21) (24,30) 
nodes: 26486  conflicts: 54  modelTime: 1561  solveTime: 87063  totalTime: 88636  modelSize: 72266  readTime: 12 size: 14