(1,14) (2,19) (3,18) (4,5) (6,10) (7,21) (8,28) (9,15) (11,29) (12,22) (13,27) (16,30) (17,20) (23,24) (25,26) 
nodes: 56492  conflicts: 35  modelTime: 1735  solveTime: 253774  totalTime: 255528  modelSize: 72263  readTime: 19 size: 15