(1,30) (2,11) (3,12) (4,14) (5,29) (6,9) (7,16) (8,27) (10,19) (13,15) (17,18) (20,25) (21,26) (22,23) 
nodes: 68599  conflicts: 48  modelTime: 1723  solveTime: 285113  totalTime: 286857  modelSize: 72275  readTime: 21 size: 14