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