(2,10) (3,4) (5,14) (6,29) (7,23) (8,19) (9,11) (12,22) (13,18) (15,26) (16,25) (20,30) (21,28) (24,27) 
nodes: 58855  conflicts: 37  modelTime: 1205  solveTime: 284956  totalTime: 286180  modelSize: 72266  readTime: 19 size: 14