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