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