(1,24) (3,23) (5,8) (6,26) (7,10) (9,15) (11,28) (12,22) (13,17) (14,29) (16,18) (19,30) (20,21) (25,27) 
nodes: 157795  conflicts: 59  modelTime: 972  solveTime: 507662  totalTime: 508645  modelSize: 72274  readTime: 11 size: 14